theorem :: XPRIMES0:1873

canceled;