Angle Sum Theorem with Rotations