theorem :: XPRIMES0:1931

canceled;