7.2 Deadlock Characterization (a) Necessary Conditions - si-manual