Prove that in protocol LockGrant, if an entity sends a “Shout”

message to a neighbor, it will receive a “Reply” from that neighbor within finite time.