prove posteriori