Hier reicht auch normale Induktion:
IA: 12ct = 3*4 Cent
IV: n≥12 ct lassen sich exakt in 4 und 5ct Stücken bezahlen
IS:
IB: Es lassen sich auch n+1 ct in 4 und 5ct Stücken bezahlen
Beweis: Da n≥12 werden für die exakte Bezahlung von n ct mindestens 3 Münzen benötigt, denn:
4+4=8<12, 4+5=9<12, 5+5=10<12
Falls in der Münzmenge von n ct mind. eine 4ct Münze auftaucht, ersetze genau eine davon durch eine 5ct Münze. Man erhält dann genau n-4+5 = n+1 ct.
Andernfalls befinden sich in der Münzmenge von n ct mindestens drei 5ct Münzen, ersetze von diesen genau drei 5ct münzen durch 4ct Münzen und füge eine 4ct Münze hinzu: n-3*5+4*4=n+1 ct.