Das ist soweti schon richtig. Ich nehme an, IV soll die Abkürzung von Induktionsvoraussetzug sein. Die IV ist nichts anderes als die zu beweisende Formel für ein bestimmtes n. Die induktionsbehauptung IB ist, dass diese Formel (unter der Voraussetzung, dass sie für n gilt) auch für n+1 gilt. Der IS ist richtig.
