refutation theorem