Two Theorems about Equationally Noetherian Groups