How do you prove: Cosx + sinx tanx = secx?