How do you prove that #secx - cosx = tanx * sinx#?