Proceed by induction.