how to prove this:
tan Ф=1/cotФ