theorem :: XPRIMES0:313

canceled;