theorem
 card {} = 0;
