todo: proof orientationequi.