theorem :: XPRIMES0:863

canceled;