То что есть в файле,я изучал довольно давно и пока ещё всё помню.А Вы почему-то уверены в своей "формулировке" теоремы,хотя до сих пор так и не привели его.