Explore 2 formal proofs and analytical renders within the discipline of Stochastic Differential equations.