1 There are low priority threads, 

     2 which do not hold any resources, 

     3 such thread will not block th. 

     4 Theorem 3 does not exclude such threads.

     5 

     6 There are resources, which are not held by any low prioirty threads,

     7 such resources can not cause blockage of th neither. And similiary, 

     8 theorem 6 does not exlude them.

     9 

    10 Our one bound excudle them by using a different formaulation. 

    11