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