Ez mind igaz, és tisztában vagyok velük (remélem :) ).
Én erre reagáltam:
"Ahhoz, hogy ez működjön, kell lennie olyan hash implementációnak, ami konzisztens az equals-szal."
Tehát azt írod (felhasználva az idézett definíciót), hogy kell egy h hashfüggvény, amire
a = b -> h(a) = h(b)
De ahhoz, hogy Aadaam megoldása működjön, olyan hashcode kellene, amire ez a nemszokványos feltétel is teljesül:
h(a) = h(b) -> a = b
Ez pedig nem következik abból, hogy h konzisztens az egyenlőséggel.