Come l'esercizio 130, ma con la quantificazione universale al posto della prima quantificazione esistenziale.