thus O .: L is Subset of X ; :: thesis: verum