Example Angle Addition Postulate