Bevis for differentialkvotient for x i anden