证明康托三分集可