Strict ∞-groupoids are Grothendieck ∞-groupoids

We show that there exists a canonical functor from the category of strict ∞-groupoids to the category of Grothendieck ∞-groupoids and that this functor is fully faithful. As a main ingredient, we prove that free strict ∞-groupoids on a globular pasting scheme are weakly contractible.