theorem :: XPRIMES0:1889

canceled;