Let be a Complete Theory in a countable Language. If is -Categorical for some , then it is -Categorical for all .