theorem :: XPRIMES2:240

canceled;