relative proof

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