milnors theorem