theorem :: XPRIMES0:1291

canceled;