Rime libere corrispondenti per een bewijs zijn