How do you prove that #sec xcot x = csc x#?