Taylor expansion in linear logic is invertible (Logical Methods in Computer Science, 2018)