theorem Th79: :: SIN_COS:80

for th being Real st th in ].0,(PI / 2).[ holds
cos . th > 0