theorem :: XPRIMES0:1493

canceled;