H v » a * a » b a *.