theorem :: XPRIMES0:1871

canceled;