Restructured lemmas for the main theorem
The main theorem wrapped into a subsection #26
Enhaced the intro of the main theorem's proof
Added an image of possible concurent states of parent and child membrane #27