regressive proof

Мат. регрессивное доказательство