theorem :: XPRIMES0:787

canceled;