Echte Ungleichheit ist richtig, siehe Algorithmis