theorem :: XPRIMES0:1723

canceled;