Prove that ME1, ME2, and ME3 are satisfied in a fully distributed system using Ricart and Agrawala's algorithm. Provide a formal proof using, if necessary, proof by contradiction.