theorem :: XPRIMES0:1217

canceled;