Prove the correctness or give a counterexample for each of the following statements, You must state whether the statement is true or false and then show your arguments. ("- > " means "implies"). a. Cycle → Deadlock b. Knot → Deadlock