Verifica proprietà dell'invertire