cantors theorem