Modificata premessa e resa più generica