theorem :: YELLOW11:1

3 = {0,1,2} by CARD_1:51;