Source: https://homepages.laas.fr/adoncesc/Andrei-website/be5ncorrec.pdf