example: formula_63 is a martingale, which shows that the quadratic variation of "w" on [0, "t"] is equal to "t". it follows that the expected time of first exit of "w" from (−"c", "c") is equal to "c".