04/12/22 22:00:01
>>812
Ｈ（Ｈ（ａ，ｂ），Ｈ（ｃ，ｄ））＝Ｈ（ａ，ｂ，ｃ，ｄ）。
Ｈ（ａ，ｂ，ｃ，Ｈ（ａ，ｂ，ｃ））＝Ｈ（ａ，ｂ，ｃ）。
Ｈ（ａｂ，ａｃ，ａｄ）＝ａＨ（ｂ，ｃ，ｄ）。
Ｈ（１，１，１）＝１。
ａ≦ｃ，ｂ≦ｄのときＨ（ａ，ｂ）≦Ｈ（ｃ，ｄ）。
（１／４）Ｈ（ａ，ｂ，ｃ，ｄ）≦（１／３）Ｈ（ａ，ｂ，ｃ）。
ｌｉｍ＿｛ｄ－＞＋∞｝Ｈ（ａ，ｂ，ｃ，ｄ）＝（４／３）Ｈ（ａ，ｂ，ｃ）。
Ｈ（ａ，ｂ）＋Ｈ（ｃ，ｄ）≦Ｈ（ａ＋ｃ，ｂ＋ｄ）。
Ｈ（ａ，ｂ，ｃ）＋Ｈ（ｄ，ｅ，ｆ）≦Ｈ（ａ＋ｄ，ｂ＋ｅ，ｃ＋ｆ）。
Ｈ（ａ，ｂ，ｃ，ｄ）＋Ｈ（ｅ，ｆ，ｇ，ｈ）≦Ｈ（ａ＋ｅ，ｂ＋ｆ，ｃ＋ｇ，ｄ＋ｈ）。