theorem :: XPRIMES1:4928

canceled;