連続体仮説の十分条件になる命題ってなんかありますか