theorem :: XPRIMES0:823

canceled;