theorem :: XPRIMES2:6224

canceled;