Cos 2 Half Angle Formula, Several … Corollary 4.