Prove that in the dynamic single-request model, if a new crown is formed while the “Check” message started by x0 is still traveling, the protocol will correctly notify x0 that it is involved in a deadlock.