Squeeze Subclaim:If {$\langle a,b,c\rangle$} is in the range of {$G$}, then {$a+b\ge.5$} and {$c\le.5$}. Proof: {$G$} is one of {$M, C, L$}. Those map to these regions of the box triangle: These are exactly the regions where {$c\le .5$}, that is, {$a+b\ge.5$}. |