доказывать теоремы