>>280 
非可測集合の存在からACは導けない、つまり
もっと弱い前提から非可測集合の存在が導ける、ってことかな