ギブズが発見した式で、単に「相律」ともいう。