theorem :: XPRIMES0:1933

canceled;