theorem :: COMPTRIG:39

Arg 1 = 0 by Th35;