考虑由n个进程共享的具有m个同类资源的系统，证明：如果对i=1，2，…，n，有Need＞0而且所有最大需求量之和小于m+n，那么该系统是死锁无关的。