s . v in the Sorts of A . v by CIRCUIT1:4;
hence s . v is Element of BOOLEAN by CIRCCOMB:def 14; :: thesis: verum