take L = ZeroCLC V; :: thesis: Carrier L c= A
Carrier L = {} ;
hence Carrier L c= A by XBOOLE_1:2; :: thesis: verum