theorem :: XPRIMES0:1733

canceled;