1- (10 points) Demonstrate the correctness of Dekker's algorithm Show that mutual exclusion is enforced. Hint: Show that when Pi enters its critical section, the following expression is true a. Flag[i] and ( not flag [1- i]) b. Show that a process requiring access to its critical section will not be delayed indefinitely. Hint: Consider the following cases: (1) a single process is attempting to enter the critical section; (2) both processes are attempting to enter the critical section, and (2a) turn-O and flag[0] = false, and (2b) turn-O and flag[0] = true