Existence and Uniqueness of Unramified Extensions