This is because choice c would violate the unchecked contract that equals() and hashCode() must fulfill in order for them to work properly.
One of the stipulations of this contract is that hashCode() and equals() should use the same criteria to formulate their values, or at least that equals() use all of what hashCode uses and then some more if you want. Think about it: if hashCode() came up with two different hashcodes based on different values for b in two objects of the above class, the equals()
test might still return true if the a values are the same. hashCode()'s must be equal if equals() is true.
I hope I explained that well enough. Please say so if I didn't.