sidebar
A borderline case also arises in this proof, corresponding to the induced metric on H being Ricci flat. This was in fact later excluded [88].