Kapittel 11 – Matematisk induksjon / Egenskaper ved rekursive funksjoner