dom <%x,y%> = {0,1} by AFINSQ_1:38, CARD_1:50;
then ( 0 in dom <%x,y%> & 1 in dom <%x,y%> ) by TARSKI:def 2;
hence not <%x,y%> is trivial by ZFMISC_1:def 10; :: thesis: verum