proof by induction Synonym