theorem :: XPRIMES0:251

canceled;