irrotationality