（ｐ＾７−ｑ＾７）（ｐ＾２−ｑ＾２）≧０。
ｐ＾９＋ｑ＾９≧ｐ＾７ｑ＾２＋ｑ＾７ｐ＾２。
　２（ｐ＾９＋ｑ＾９＋ｒ＾９）
≧ｐ＾７（ｑ＾２＋ｒ＾２）＋ｑ＾７（ｐ＾２＋ｒ＾２）＋ｒ＾７（ｐ＾２＋ｑ＾２）
≧２ｐ＾７ｑｒ＋２ｐｑ＾７ｒ＋２ｐｑｒ＾７
＝２ｐｑｒ（ｐ＾６＋ｑ＾６＋ｒ＾６）。