exo7 3299

1

Soient \(F,G,F',G'\) des sev d’un ev \(E\).

Montrer que si \(F\cap G = F'\cap G'\) alors \(\bigl( F+(G\cap F')\bigr) \cap \bigl( F+(G\cap G')\bigr) = F\).