>>10
¬CH+MAを仮定するとそうでないA、Bがある
GCHを仮定すれば正しい