theorem :: AFINSQ_1:32

for x being object holds <%x%> = {[0,x]} by FUNCT_4:82;