theorem :: XPRIMES0:1777

canceled;