theorem :: XPRIMES0:1277

canceled;