Теорема о невозможности, доказана