theorem :: XPRIMES2:996

canceled;