05/01/14 07:00:00
>>905
Ｈ（ａ，ｂ，ｃ，ｄ，ｅ，ｆ）＋Ｈ（ｇ，ｈ，ｉ，ｊ，ｋ，ｌ）
＝Ｈ（Ｈ（ａ，ｂ，ｃ），Ｈ（ｄ，ｅ，ｆ））＋Ｈ（Ｈ（ｇ，ｈ，ｉ），Ｈ（ｊ，ｋ，ｌ））
≦Ｈ（Ｈ（ａ，ｂ，ｃ）＋Ｈ（ｇ，ｈ，ｉ），Ｈ（ｄ，ｅ，ｆ）＋Ｈ（ｊ，ｋ，ｌ））
≦Ｈ（Ｈ（ａ＋ｇ，ｂ＋ｈ，ｃ＋ｉ），Ｈ（ｄ＋ｊ，ｅ＋ｋ，ｆ＋ｌ））
＝Ｈ（ａ＋ｇ，ｂ＋ｈ，ｃ＋ｉ，ｄ＋ｊ，ｅ＋ｋ，ｆ＋ｌ）。
ｆ－＞＋∞，ｌ－＞＋∞として
（６／５）Ｈ（ａ，ｂ，ｃ，ｄ，ｅ）＋（６／５）Ｈ（ｇ，ｈ，ｉ，ｊ，ｋ）
≦（６／５）Ｈ（ａ＋ｇ，ｂ＋ｈ，ｃ＋ｉ，ｄ＋ｊ，ｅ＋ｋ）。
Ｈ（ａ＋１，ｂ＋１，ｃ＋１，ｄ＋１）
≧Ｈ（ａ，ｂ，ｃ，ｄ）＋Ｈ（１，１，１，１）
＝Ｈ（ａ，ｂ，ｃ，ｄ）＋１。