Aggiunto che L1 è completo e un'altra proposizione