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