Alternativamente, un argumento de doble conteo provee dos expresiones diferentes para el tamaño de un solo conjunto, mostrando nuevamente que las dos expresiones son iguales.