Rekursi

Dengan induksi,
formula_15
untuk semua
formula_22.