:: deftheorem defines <% AFINSQ_1:def 6 :
for x, y, z being object holds <%x,y,z%> = (<%x%> ^ <%y%>) ^ <%z%>;