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