Der Satz gilt jedenfalls nur für die Fälle die iterativ rekursiv gewonnen werden.