は、すべての二重確率行列の中での最小のはformula_17であり、そのような最小はすべての成分がformula_18であるような二重確率行列によって達成されると予想した。