thus <%0%> = {[0,0]} by AFINSQ_1:32
.= id 1 by SYSREL:13, CARD_1:49 ; :: thesis: verum