 Well-founded induction

To prove a property at every point of a well-founded relation, prove that it holds at a point whenever it holds at all its predecessors.