康托定理是什么