The Gacs-Korner common information

This one should be trivial:

def K(*Xs):
    return H(meet(*Xs))