👤

What theorem shows that DEF ≅ GFE?