theorem :: XPRIMES2:8967

canceled;