Added note on an Hip (Rosén's thesis) proof.