An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets (Logical Methods in Computer Science, 2021)