Proof for the meta-theory of HH