theorem :: XPRIMES2:950

canceled;