a priori demonstration

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