Uvádíme obecné metody pro důkazy toho, že posloupnost hodnot f(1), f(2), ... elementární funkce nesplňuje žádnou lineární rekurenci s polynomiálními koeficienty.