theorem :: XPRIMES2:962

canceled;