Itô Formula for Brownian Motion