Vollständige Induktion – sauber http://blogs.uni-siegen.de/froehlich/files/2012/11/Vollst_Induktion-sauber-neu.mp4