a \leq b b \leq c a \geq d a = e b = c b = d a = a c(v_a v_b \ldots v_c, v_x v_y \ldots v_z) + c(v_d v_e \ldots v_f, v_x v_y \ldots v_z) = c(v_a v_b \ldots v_c v_d v_e \ldots v_f, v_x v_y \ldots v_z) \textrm{if $m \geq n$, } c(v_1 v_2 \ldots v_{n-1} v_n) \geq c(v_1 v_2 \ldots v_{n-1} v_m) c(v_a v_b \ldots v_c, v_x v_y \ldots v_z) + c(v_d v_e \ldots v_f, v_q v_r \ldots v_s) \geq c(v_a v_b \ldots v_c, v_x v_y \ldots v_z) a + b = c \textrm{if $m \geq n$, } d \geq e f \geq g