theorem Th1: :: HILB10_8:1

for T being _Theta holds |.T.| <= 1