CHECK: Ungleichungen
KI