某系统有同类互斥资源n1个，供n个进程共享使用，如果每个进程最多申请x个资源(其中1≤x≤m)。试证明：当n(x—1)+1≤m时，系统不会发生死锁。