theorem Th12: :: RADIX_1:13

for i1 being Integer
for k being Nat st i1 in k -SD holds
( i1 <= (Radix k) - 1 & i1 >= (- (Radix k)) + 1 )