Source: https://bfourlegnie.com/maths_2019/CHAP7/beamer_derivation_locale.pdf