theorem :: XPRIMES2:2340

canceled;