Try induction (roughly speaking).