theorem :: XPRIMES0:1951

canceled;