说没有用,理论是否正确需要检验