theorem :: AFINSQ_1:99

for x, y, z being object holds
( dom <%x,y,z%> = {0,1,2} & rng <%x,y,z%> = {x,y,z} )