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