take the empty set ; :: thesis: ( the empty set is empty & the empty set is Graph-membered )
thus ( the empty set is empty & the empty set is Graph-membered ) ; :: thesis: verum