theorem :: XPRIMES2:3260

canceled;