theorem Th3: :: NOMIN_2:3

for a, b, c, d, e, f being object holds rng {[a,b],[c,d],[e,f]} = {b,d,f}