take w = <* the literal Element of S*>; :: thesis: w is termal
thus w is termal ; :: thesis: verum