theorem proving

Мат. доказательство теоремы