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