typo: a bn -> a b^n

see http://mitpress.mit.edu/sicp/full-text/book/book-Z-H-11.html#%_sec_1.2.4