>列の選択さえ確率変数なら、
これを保証するロジックはフォローできていない