4.1 Suppose an algorithm satisfies the condition that in every admissible execution, at most one processor is in the critical section in any configuration. Show that this algorithm also satisfies the mutual exclusion condition.