theorem :: XPRIMES1:2672

canceled;