theorem Th51: :: SIN_COS9:51

for r being Real st - 1 <= r & r <= 1 holds
tan (arctan r) = r