https://9dok.net/document/z3d421g9-construction-of-probability-measures.html