Grundlagen der höheren Informatik: Induktives Vorgehen: Induktives Vorgehen, St