thus card <%x,y,z%> = 3 by Th39; :: according to CARD_1:def 7 :: thesis: verum