Pythagorean Rotation Proof