theorem :: XPRIMES2:4934

canceled;