theorem :: XPRIMES1:128

canceled;