ELSV formula and its proof