Which statement below applies the angle addition postulate?