Source: https://www.etienne-thibierge.fr/cours_induction_2018/td_i1_champ-B.pdf