Em um diagrama com três conjuntos entrelaçados, no qual há elementos em todas as seções e intersecções, uma alternativa iniciada por "todo" é derrubada pela simples existência de uma região do desenho que a contradiga.
Nova Conquista!