theorem :: XPRIMES2:9932

canceled;