Angle_addition_postulate loading ...