How do I prove that 5 - 5cos^2 x = 5sin^2 x?