Protractor Axiom

Exists Measure of Angle