A relatively short proof of Itô's formula for SPDEs and its applications - N. V. Krylov (2012)