Source: https://www.iro.umontreal.ca/~brassard/cours/6155.pdf