theorem :: XPRIMES0:797

canceled;