theorem :: FUNCT_7:127

for a, b, c being set holds rng ((a,b) followed_by c) = {a,b,c}