ユークリッド幾何の問題といっているので、
「回転は線型変換」こそが証明すべきことかと思われる。