/ \  
Wenn nämlich die Elementarsätze gegeben sind, so sind damit auch alle Elementarsätze gegeben und damit der allgemeine Satz. – Und ist damit nicht schon die Einheit hergestellt.