Colors are defined as variables
Added figure with snapshot of states in the membrane structure during the simulation #27
Enhaced proof of main theorem
Fixed a typo
Minor corrections