直線を点のまわりに回転すると、回転する前後の直線の作る角は回転した角に等しい。
こういうのは使っていいですか。