|             |
                            y             y
                           <->           <0>
                          /   \    =>  _'   \
                         a      b     a*      b
                         h     h-1    h-1    h-1