theorem :: XPRIMES2:932

canceled;