Rime libere corrispondenti per existence function