Способы математического доказательства: Как проверять теоремы