theorem Th3: :: RADIX_5:3

for k being Nat st 2 <= k holds
4 <= Radix k