Beweis
Die Aussage (d.h. (2.5)) ist äquivalent zu (siehe (2.3)) für die reellwertigen Funktionen und auf , d.h. auf der Menge der Paare mit . Damit folgt, dass diese Funktionen konstant sind, also existieren so dass
für alle . Insbesondere folgt 1
Übungsaufgaben
LIST FROM [[]]
WHERE contains(mytags, [[aufgaben]])
SORT file.name ASC