theorem :: XPRIMES1:4872

canceled;