Source: https://www.iro.umontreal.ca/~mignotte/IFT2425/Chapitre6_cor.pdf