简述死锁定理。