Internal Angles of Square

Theorem
The internal angles of a square are right-angles.