Prove cosФ(tanФ)/sinФ = sec²Ф-tan²Ф