theorem :: XPRIMES2:8946

canceled;