theorem :: AOFA_A00:21

for a1, a2, a3, a4, a5, a6 being object holds rng <*a1,a2,a3,a4,a5,a6*> = {a1,a2,a3,a4,a5,a6}