Eindeutigkeitssatz