Source: https://www.etienne-thibierge.fr/cours_induction_2018/td_i2_phen-induction.pdf