take the Element of Fml ; :: thesis: the Element of Fml in Fml
thus the Element of Fml in Fml ; :: thesis: verum