"verify by induction" Deutsche bedeutung