证明若 A 上三角且 B 上三角,则 AB 上三角。