Constructing Coproducts in locally Cartesian closed $infty$-Categories

We prove that every locally Cartesian closed $infty$-category with subobject classifier has a strict initial object and disjoint and universal binary coproducts.