reasoning by induction 8427735