theorem :: XPRIMES0:1823

canceled;