что такое теорема и доказательство теоремы