Although our proof is a little tedious, it is much less so than Ito's original proof, which was carried out without the benefit of martingale technology.