take {} ; :: thesis: ( {} is Subset of L & {} is trivial )
thus ( {} is Subset of L & {} is trivial ) by XBOOLE_1:2; :: thesis: verum