theorem :: XPRIMES0:773

canceled;