Semantically Equivalent Terms are Equal

Theorem
Let $\tau_1, \tau_2$ be terms.

Suppose that they are semantically equivalent with respect to the empty set.

Then $\tau_1 = \tau_2$.