theorem :: XPRIMES2:3872

canceled;