theorem :: XPRIMES2:2360

canceled;