How do you prove [(1+tan^(2)x )/ (tan^(2)x)]=csc^(2)x?