. x = O .: {x} ;
hence . x is Subset of X ; :: thesis: verum