The original document is available at http://549552.cz968.group/tiki-index.php?page=Theorems%2C+Detailed+explanations