〔補題〕
a,b,c が実数のとき
　|(a-b)(b-c)(c-a)| ≦ {1/(3√6)}{(a-b)^2 + (b-c)^2 + (c-a)^2}^(3/2),