https://5dok.net/document/yj7j61d2-de-dutch-book-stelling.html