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