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