Angle measurement and theorems