Kapittel 11 – Matematisk induksjon / Egenskaper ved rekursivt definerte funksjoner