theorem :: XPRIMES1:2388

canceled;