Lattice A combinatorial proof of an algebraic equation using lattice paths. View the theorem and proof here.