theorem :: XPRIMES2:997

canceled;