Markovin lauseen todistus - Virtanen, Marko (2006)