Craig補完性を持つ中間論理は7個しか存在しない