theorem :: XPRIMES0:1697

canceled;