theorem :: XPRIMES0:223

canceled;