Diskreter Logarithmus angefangen
Labels für Definitionen