theorem :: XPRIMES2:8976

canceled;