theorem :: XPRIMES2:9968

canceled;