:: deftheorem Def1 defines theta HILB10_8:def 1 :
for t being Real holds
( t is theta iff ( - 1 <= t & t <= 1 ) );