theorem :: XPRIMES0:1753

canceled;