предикатное доказательство

Мат. predicative proof