theorem :: XPRIMES1:872

canceled;