Interpretable groups are definable

   Abstract