theorem Th104: :: SIN_COS6:104

for r being Real st - 1 <= r & r <= 1 holds
sin (arccos r) = sqrt (1 - (r ^2))