5˙2
Jede W-Funktion von W-Funktionen ist eine Funktion von Elementarsätzen,
11
ein Satz.