[see also: advantage, merit
For the benefit of Pascal programmers, we explain......
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.