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

Мат. effective proof