theorem :: XPRIMES2:6728

canceled;