Row-insertion bumping-path monotonicity
= Row-insertion bumping-path monotonicity
During <row insertion> into a <near Young tableau>, the successive carried entries strictly increase while the columns in which they are bumped weakly decrease. Every old cell keeps its entry or receives a smaller one. These facts follow from increasing rows and strictly increasing columns.