theorem :: XPRIMES2:8932

canceled;