Induction on Graphs: Reducible Configurations This post explains how theorems are often proved by induction in graph theory. It concludes with a fully generalized description of induction. More...