theorem :: XPRIMES0:1237

canceled;