x sup 1 + x sup a + H sup a + H sup 1