A document dedicated to prove that stochastic gradient descent works