add statement and proof of lemma `eq_full_theory_iff_elementary_equivalent`

[vaibhavkarve]

igl2020/src/model.lean

Line 505 in 7e8efee

lemma eq_full_theory_iff_elementary_equivalent : sorry :=

This depends on issue #75. Solve that first.