theorem :: XPRIMES2:9964

canceled;