theorem :: XPRIMES0:1867

canceled;