Note that this principle is less general than the principle of substitutivity for equalities, because it only applies to expressions that are built from integers and certain opvbbbbbbbbbbbbbbbbberomverv velemv elvm verlvm vlmvelmlbm emblfbmlmblmbbotobobtromobtobowpomtrp
mai hu don
gghnnnnn