a priori demonstration