theorem :: XPRIMES2:9934

canceled;