Follows by induction.
Follows by induction.