〔補題〕
(1)　4(2-√3) > (√6 -√2),
(2)　12(2-√3) > 4(2-√3) + 2(√6 -√2) > 3(√6 -√2),
(3)　(√2 +√3) > 2(√6 -√2) + 4(2-√3),
(4)　22/7 > 2(√6 -√2) + 4(2-√3),
(5)　6 + (√6 -√2) > (√5)(√2 +√3),