theorem Th107: :: ORDINAL7:94

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