theorem :: XPRIMES0:1787

canceled;