Goodwillie filtration and factorization homology — The proofs

4 The proofs