theorem :: XPRIMES0:1187

canceled;