доказва теорема