theorem :: XPRIMES0:1117

canceled;