theorem :: XPRIMES0:1223

canceled;