Law_of_cotangents