Теорема методом от противного