Es sei α ∈ L S {\displaystyle {}\alpha \in L^{S}} ein atomarer Ausdruck, der zugleich eine Tautologie ist, also ⊢ α {\displaystyle {}\vdash \alpha } . Zeige, dass α {\displaystyle {}\alpha } gleich s = s {\displaystyle {}s=s} mit einem S {\displaystyle {}S} -Term s {\displaystyle {}s} ist.
