a priori proof