 Clearly the converse holds as well, so that we have an equivalence between implicit and explicit definability.That is, a "property" is implicitly definable with respect to a theory if and only if it is explicitly definable.The theorem does not hold if the condition is restricted to finite models.