effective proof

Мат. эффективное доказательство