Sostituito Longrightarrow con implies