Antwort
Die zu zeigenden Axiome und den Beweis habe ich hier gefunden (S. 7-8, Satz 1.16): https://www.mathematik.uni-muenchen.de/~bullach/stoch.pdf
... falls das noch jemand braucht ;-)