strictly increasing property for list of trees
lmp property for list of trees + Theorem s_inc_two_lmp