consider f being empty valuation of C;
take f ; :: thesis: f is empty
thus f is empty ; :: thesis: verum