theorem :: XPRIMES0:701

canceled;