Angle Addition Postulate 2