Taylorentwicklung in linearer Logik ist invertierbar