theorem :: XPRIMES0:967

canceled;