theorem :: SIN_COS9:16

for x being Real st sin . x <> 0 holds
cot . x = cot x