0<=I(A;B)
0<=I(A;B|C)
0<=I(A;B|CD)
0<=I(A;B|CDE)
0<=H(A|BCDE)