theorem :: RADIX_1:6

canceled;