and we also know that there is no element in the empty set; therefore, the hypothesis
of the implication (IF-THEN) is always false. And from the implication properties,
the only case that makes the implication false is when the hypothesis is true and the
conclusion is false. Here we have the false hypothesis, and regardless of the truth of
the conclusion, the implication is true.