theorem Th6: :: RADIX_2:6

for k being Nat holds Radix k > 0