theorem :: XPRIMES2:229

canceled;