试证明当每个资源类中仅有一个资源实例时，资源分配图中的环路是死锁的充要条件。