for a, b, c being Ordinal st b in c holds
a (+) b in a (+) c