theorem :: XPRIMES2:3240

canceled;