theorem :: XPRIMES2:749

canceled;