One way to eliminate the circular-wait condition is to impose a total ordering of all resource types, for instance it requires that each process requests resources in an increasing order of enumeration – R = {R1, R2, …, Rm}. Sketch a proof that this ensures no circular-wait (Hint: proof by contradiction)