https://123dok.net/document/y962g26r-theorem-page-replaced-follow-ing-statement.html