某系统有同类资源m个，供n个进程共享，如果每个进程最多申请x(1≤x≤m)个资源，且各进程的最大需求量之和小于(m+n)个资源，证明该系统不会发生死锁。