theorem :: XPRIMES2:968

canceled;