Angle addition postulate