a priori proof

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