∣ –  
5˙3203
Wenn die Elementarsätze gegeben sind, so sind damit auch alle Elementarsätze gegeben. und damit der verallgemeinerte Satz.