>>22
a=b ならあらゆる H(x) に対し H(a)=H(b)
等号とはそういうもの