theorem :: XPRIMES2:3360

canceled;