theorem :: XPRIMES2:598

canceled;