Proof Outline, Lazard's theorem and Galois cohomology of $\mathcal{O}_{C}$