take the Element of AtomicFormulasOf S ; :: thesis: the Element of AtomicFormulasOf S is 0wff
thus the Element of AtomicFormulasOf S is 0wff ; :: thesis: verum