5˙3203
Wenn die Elementarsätze gegeben sind, so sind damit auch alle Elementarsätze gegeben.