take the Element of S -sequents ; :: thesis: the Element of S -sequents is S -sequent-like
thus the Element of S -sequents is S -sequent-like ; :: thesis: verum