“…The proof is nontrivial, but we followed the classical case (skew diagrams with a hole [23]), as is shown in Sagan's book [21], with the help of Fomin's growth diagrams, which may be extended to our case: partitions are replaced by compositions, appropriately ordered. We use a notion that appeared previously in the literature: composition tableaux of [10,14] (with one condition removed), and more precisely, standard immaculate tableaux [2] (see also [3], [7], [9], [1], and [18]).…”