fixedの場合には成立することは、DenisもPrussも同意見
ついでにいうとrandom valueであっても、出題と列選択が独立なら成立するだろうと、
Prussは考えているようだ　ただしこれは明確な証明がないからあくまで予想であるが