theorem :: XPRIMES2:8964

canceled;