Теорема з доведенням