помогите упростите tgx ctgx

tgx*ctgx=1
Ну, вообще, есть такое равенство, но если доказывать, то sinx/cosx*cosx/sinx, всё сокращается, остаётся единица

tgx = sinx / cosx
ctgx=1/tgx = cosx / sinx
tgx * ctgx= 1 
при sinx≠0 cosx≠0