( Attrs c= Modes \/ Attrs & Modes \/ Attrs c= Constructors ) by XBOOLE_1:7;
hence Attrs is non empty Subset of Constructors by XBOOLE_1:1; :: thesis: verum