开尔文定理和无关定理