theorem :: XPRIMES1:3872

canceled;