Source: https://www.imo.universite-paris-saclay.fr/~merker/Exposes/2014/ange-demon.pdf