If it's hard for you to see the right way to interpret breadth-first search as a special case of our generic search algorithm, you can also just look at our proof for the generic search algorithm and copy it down for breadth-first search. 