Why is 'localization of a UFD' again a UFD?