theorem Th2: :: FDIFF_8:2

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