Source: https://webusers.imj-prg.fr/~michel.waldschmidt/articles/pdf/SixExponentiellesIrrationalite.pdf