theorem :: XPRIMES2:2598

canceled;