theorem :: XPRIMES0:1693

canceled;