Proprietà invariantiva e semplificazione