"1"^^ . . . . . . . . "Gleichheitssatz"@de .