theorem :: XPRIMES2:966

canceled;