stetige Funktionen, die auf I∖{a}{\displaystyle {}I\setminus \{a\}} differenzierbar seien mit f(a)=g(a)=0{\displaystyle {}f(a)=g(a)=0} und mit g′(x)≠0{\displaystyle {}g'(x)\neq 0} für x≠a{\displaystyle {}x\neq a}. Es sei vorausgesetzt, dass der Grenzwert
existiert. Dann existiert auch der Grenzwert
multilinear. D.h., dass für jedes k∈{1,…,n}{\displaystyle {}k\in {\{1,\ldots ,n\}}}, für je n−1{\displaystyle {}n-1} Vektoren v1,…,vk−1,vk+1,…,vn∈Kn{\displaystyle {}v_{1},\ldots ,v_{k-1},v_{k+1},\ldots ,v_{n}\in K^{n}} und für u,w∈Kn{\displaystyle {}u,w\in K^{n}} die Gleichheit
und für s∈K{\displaystyle {}s\in K} die Gleichheit