OpenLLM-France/wikimedia huggingface dataset:
# Taça dos Vencedores de Taças de Hóquei em Patins

A Taça das Taças era uma competição europeia de clubes de Hóquei em Patins.
Era a segunda competição mais importante do CERH, ficando atrás da Liga Europeia de Hóquei em Patins e à frente da Taça CERS em termos de importância.
Esta competição foi criada em 1976 e após a época 1995/96 fundiu-se com a Taça CERS.

## Campeões

Fonte
| Época | Campeão | Vice-campeão | Resultado |
| 1976–77 | AD Oeiras | CE Arenys de Munt | 4–2 / 4–2 (a.e.t.) |
| 1977–78 | AD Oeiras | CP Voltregà | 3–2 / 3–3 |
| 1978–79 | AD Oeiras | CP Voltregà | 10–1 / 6–3 |
| 1979–80 | AFP Giovinazzo | HC Sentmenat | 14–4 / 11–4 |
| 1980–81 | Sporting CP | Cibeles Oviedo | 7–2 / 4–1 |
| 1981–82 | FC Porto | Sporting CP | 13–4 / 8–7 |
| 1982–83 | FC Porto | SL Benfica | 2–2 / 5–5 (2-1 pso) |
| 1983–84 | Reus Deportiu | SL Benfica | 6–4 / 5–4 |
| 1984–85 | Sporting CP | RESG Walsum | 8–4 / 1–1 |
| 1985–86 | AD Sanjoanense | Sporting CP | 3–3 / 9–6 |
| 1986–87 | FC Barcelona | Hockey Novara | 4–3 / 5–3 |
| 1987–88 | AA Noia | Amatori Lodi | 11–5 / 4–8 |
| 1988–89 | Roller Monza | FC Porto | 6–3 / 7–3 |
| 1989–90 | HC Liceo Coruña | RH Rolta Louvain | 2–8 / 22–1 |
| 1990–91 | Sporting CP | Hockey Novara | 6–7 / 5–2 |
| 1991–92 | Roller Monza | CP Voltregà | 3–3 / 6–5 |
| 1992–93 | OC Barcelos | SC Thunerstern | 0–8 / 6–3 |
| 1993–94 | Amatori Lodi | CP Voltregà | 3–4 / 6–2 |
| 1994–95 | Roller Monza | Amatori Lodi | 6–1 / 3–4 |
| 1995–96 | HC Liceo Coruña | Amatori Lodi | 5–2 / 7–3 (a.e.t.) |

## Performances
### Por Equipa

| Equipa | Vit. | Fin. | Vitórias (anos) | Finalista Vencido (anos) |
| Sporting CP | 3 | 2 | 1981, 1985, 1991 | 1982, 1986 |
| AD Oeiras | 3 | 0 | 1977, 1978, 1979 | – |
| Roller Monza | 3 | 0 | 1989, 1992, 1995 | – |
| FC Porto | 2 | 1 | 1982, 1983 | 1989 |
| HC Liceo Coruña | 2 | 0 | 1990, 1996 | – |
| Amatori Lodi | 1 | 3 | 1994 | 1988, 1995, 1996 |
| AFP Giovinazzo | 1 | 0 | 1980 | – |
| Reus Deportiu | 1 | 0 | 1984 | – |
| AD Sanjoanense | 1 | 0 | 1986 | – |
| FC Barcelona | 1 | 0 | 1987 | – |
| AA Noia | 1 | 0 | 1988 | – |
| OC Barcelos | 1 | 0 | 1993 | – |
| CP Voltregà | 0 | 4 | – | 1978, 1979, 1992, 1994 |
| SL Benfica | 0 | 2 | – | 1983, 1984 |
| Hockey Novara | 0 | 2 | – | 1987, 1991 |
| CE Arenys de Munt | 0 | 1 | – | 1977 |
| HC Sentmenat | 0 | 1 | – | 1980 |
| Cibeles Oviedo | 0 | 1 | – | 1981 |
| RESG Walsum | 0 | 1 | – | 1985 |
| RH Rolta Louvain | 0 | 1 | – | 1990 |
| SC Thunerstern | 0 | 1 | – | 1993 |

## Por País

| Equipa | Vitórias | Clubes Vencedores | Finalistas Vencidos | Clubes vencidos |
| Portugal | 10 | AD Oeiras (3), Sporting CP (3), FC Porto (2), AD Sanjoanense (1), OC Barcelos (1) | 5 | Sporting CP (2), SL Benfica (2), FC Porto (1) |
| Espanha | 5 | HC Liceo Coruña (2), Reus Deportiu (1), FC Barcelona (1), AA Noia (1) | 7 | CP Voltregà (4), CE Arenys de Munt (1), HC Sentmenat (1), Cibeles Oviedo (1) |
| Itália | 5 | Roller Monza (3), AFP Giovinazzo (1), Amatori Lodi (1) | 5 | Amatori Lodi (3), Hockey Novara (2) |
| Alemanha | 0 | | 1 | RESG Walsum (1) |
| Bélgica | 0 | | 1 | RH Rolta Louvain (1) |
| Suíça | 0 | | 1 | SC Thunerstern (1) |
# LocalWiki

LocalWiki é um projeto colaborativo que visa coletar e abrir o conhecimento local do mundo. O projeto LocalWiki foi fundado pelos criadores do DavisWiki Mike Ivanov e Philip Neustrom e é uma organização sem fins lucrativos 501(c)(3) com sede em San Francisco, Califórnia. LocalWiki é o nome do projeto e o software que executa os sites do projeto.

## História

Em 2004, Ivanov e Neustrom iniciaram o DavisWiki, um projeto experimental para coletar e compartilhar informações locais sobre a cidade de Davis, Califórnia, editáveis por qualquer pessoa. Tornou-se um wiki da comunidade grande e ativo. Segundo seus fundadores, pelo menos metade dos moradores locais o utilizam. O projeto LocalWiki visa fornecer "memória institucional" e contexto para notícias locais. LocalWiki é construído no framework Django em Python.
Em junho de 2010, a LocalWiki ganhou uma doação de US$ 350.000 do Knight News Challenge. Depois de ganhar a doação para desenvolver o software, eles executaram um projeto Kickstarter para arrecadar US$ 25.000 para ajudar a financiar a divulgação, o que foi bem-sucedido.
Em dezembro de 2011, o projeto anunciou sua primeira "comunidade de foco", Denton, Texas. Sua segunda comunidade de foco foi a região do Triângulo de Durham, Carolina do Norte, com contribuições iniciais sobre infraestrutura de transporte e parques, e o objetivo de compilar informações sobre eventos históricos. Uma organização sem fins lucrativos em Tallahassee, Flórida, ajudou a iniciar a TallahasseeWiki com o conhecimento dos moradores. O projeto LocalWiki para Oakland, Califórnia, é apoiado por voluntários que se encontram pessoalmente para colaborar com informações históricas.
Em 2012, a equipe LocalWiki montou um mapa abrangente em alta definição do continente Antártico, disponível em "Open Antarctica", uma instância LocalWiki para a Antártida. Neustrom explicou que o mapa foi "reunido a partir de imagens aéreas da NASA e conjuntos de dados costeiros muito difíceis de encontrar".
Em abril de 2015, a Idmloco se concentrou em Davis LocalWiki como parte de uma operação de relações públicas para a chanceler da UC Davis, Linda PB Katehi.

## Funcionalidade

O software LocalWiki inclui uma interface de edição WYSIWYG para ajudar a simplificar a edição. Também inclui recursos de mapeamento: cada artigo pode ter um mapa anotado associado e o site possui um mapa geral com essas anotações.

## Comunidades locaisWiki notáveis

A partir de 2013, as principais comunidades LocalWiki incluem Santa Cruz County, Califórnia; Oakland, Califórnia; Raleigh-Durham, Carolina do Norte; Denton, Texas; Ann Arbor, Michigan e Tóquio, Japão.
# Ouro (heráldica)

Em heráldica, ouro, jalne, dourado, gualdo, gualde, ou jalde, (em francês: or) é o esmalte de ouro, e pertence à classe dos esmaltes claros, chamados metais. Em gravuras pode representar-se por um padrão pontilhado. É muito frequentemente representado como amarelo, embora folha de ouro tenha sido usada em muitos manuscritos iluminados e em brasões de armas mais extravagantes
Or plain são as armas da família espanhola de Menezes.

## Significados poéticos

As diferentes tinturas às vezes são ditas estar associadas a significados e virtudes especiais, e com certos elementos e pedras preciosas, embora essas associações tenham sido em grande parte desconsideradas por heráldicos sérios. As fontes variam, mas ouro geralmente é dito representar o seguinte:
* De jóias: topázio
* De corpos celestes: o Sol
* De metais: o próprio ouro.
* De virtudes: coragem e honra

## Galeria

* Brasão da família Gervais, França
* Brasão de Chemillé, França
* Brasão de armas da comuna de Aurskog-Høland, Noruega, "Ouro, uma lagosta ereta, negra.
* Braços de Chantemerle-les-Blés, França
* Brasão de Puy-de-Dôme, França
# Torneio Cidade de Vigo (hóquei em patins)

O Torneio Cidade de Vigo foi uma competição de Hóquei em Patins organizada pelo CERH disputada anualmente na cidade de Vigo (Galiza) entre 1983 e 2008, com a única exceção em 1999 em que não se disputou. O clube mais laureado na história da competição é o galego HC Liceo da Corunha, com um total de 13 títulos e 4 vice-campeonatos, sendo ainda o clube que mais vezes consecutivas conseguiu ganhar a competição, tendo vencido todas as edições entre 1985 e 1990 num total de 6 vezes.

## Histórico

FINAIS :
| Edição | Ano | Campeão | Vice-campeão | Resultado |
| 1ª | 1983 | HC Liceo | Dominicos La Toja | 6–2 |
| 2ª | 1984 | Seleção espanhola | Dominicos La Toja | 4–2 |
| 3ª | 1985 | HC Liceo | Ruan Alcobendas | 5–4 |
| 4ª | 1986 | HC Liceo | Dominicos La Toja | 7–2 |
| 5ª | 1987 | HC Liceo | UD Oliveirense | 9–3 |
| 6ª | 1988 | HC Liceo | Roller Monza | 5–4 |
| 7ª | 1989 | HC Liceo | Hockey Novara | 5–3 |
| 8ª | 1990 | HC Liceo | FC Porto | 9–4 |
| 9ª | 1991 | HC Liceo | HC Liceo | 4–3 |
| 10ª | 1992 | HC Liceo | Roller Monza | 7–3 |
| 11ª | 1993 | HC Liceo | Igualada | 4–3 |
| 12ª | 1994 | HC Liceo | Igualada | 4–1 |
| 13ª | 1995 | Igualada | HC Liceo | 4–2 |
| 14ª | 1996 | FC Barcelona | Igualada | 1–0 |
| 15ª | 1997 | FC Barcelona | HC Liceo | 7–0 |
| 16ª | 1998 | Amatori Vercelli | Igualada | 2–2 (GP) |
| 17ª | 2000 | FC Barcelona | Paço de Arcos | 2–0 |
| 18ª | 2001 | FC Barcelona | HC Liceo | 4–1 |
| 19ª | 2002 | HC Liceo | FC Barcelona | 6–4 |
| 20ª | 2003 | Igualada | FC Barcelona | 5–3 |
| 21ª | 2004 | FC Barcelona | G. Atlántico VSK | 3–2 |
| 22ª | 2005 | HC Liceo | G. Atlántico VSK | 4–3 |
| 23ª | 2006 | HC Liceo | Follonica | 4–3 |
| 24ª | 2007 | FC Barcelona | Bassano 54 | 4–2 |
| 25ª | 2008 | SL Benfica | Juventude de Viana | 5–1 |
* Em 1999 não se disputou a competição.

## Palmarés por equipa

PALMARÉS :
| Clube | Campeão | Vice-campeão |
| HC Liceo | 13 | 4 |
| FC Barcelona | 6 | 2 |
| Igualada | 2 | 4 |
| Seleção espanhola | 1 | 0 |
| OC Barcelos | 1 | 0 |
| Amatori Vercelli | 1 | 0 |
| SL Benfica | 1 | 0 |
# Ivan Brondi

Ivan Brondi de Carvalho, mais conhecido apenas como Ivan Brondi (Santa Cruz do Rio Pardo, 7 de outubro de 1941), é um ex-futebolista brasileiro que atuou como meio-campo pelo Palmeiras e, posteriormente, pelo Náutico. Hoje em dia trabalha como dentista, é sócio e conselheiro do Náutico.

## Carreira
### Palmeiras

Ivan Brondi foi revelado no Palmeiras, em 1960. Jogou apenas 10 partidas pelo alviverde, marcando um gol. Ainda neste ano, foi à Roma jogar pela Seleção Brasileira nas Olimpíadas, onde jogou duas partidas. Na volta de Roma, foi emprestado ao Botafogo de Ribeirão Preto, voltando, no entanto, ao alviverde na temporada seguinte.
Sem espaço no Palestra Itália, o jogador foi cedido de empréstimo ao Náutico em 1963 por um período de dez meses.

### Náutico

Sua carreira pelo Náutico foi marcada por várias glórias alcançadas pelo clube no que hoje é conhecida como sua década áurea. Ivan Brondi foi o cérebro do time coordenando o meio-campo alvirrubro ao longo da conquista do Hexacampeonato de 1963 a 1968.
Em 1963, conquistou o Campeonato Pernambucano daquele ano. Após ter passado dez meses jogando pelo Timbu, a diretoria alvirrubra ficou satisfeita com o jogador e decidiu comprá-lo ao Palmeiras. O jogador ainda iria conquistar os Pernambucanos de 1965, 1966, 1967 e 1968.
Ivan foi quem mais atuou nas seis campanhas que deram ao Náutico o hexacampeonato pernambucano de 1963 a 1968. O jogador participou de 126 das 140 partidas que a equipe disputou nesse espaço de tempo: Ivan Brondi participou de 91% delas. É tido como um dos maiores ídolos do clube Alvirrubro.
Pela Taça Brasil de 1966, Ivan Brondi participou da histórica goleada de 5–3 contra o Santos, de Pelé. Apesar da vitória, o Náutico não seguiu na competição por ter vencido apenas uma partida de uma melhor de três contra o alvinegro praiano. Na Taça Brasil de 1967, Ivan Brondi foi peça fundamental no time que eliminou o mesmo Santos de Pelé nas semi-finais e perdeu a final para o Palmeiras, conquistando o Vice-campeonato e a participação na Libertadores do ano seguinte.
O Náutico participou da Copa Libertadores da América de 1968 e Ivan Brondi marcou um gol no empate de 1–1 contra o Deportivo Portugués, da Venezuela. Apesar de o Náutico ter terminado em segundo colocado na fase de grupos, o clube foi penalizado pela CONMEBOL por ter feito uma segunda substituição em uma partida – regra tal que havia sido oficializada pela FIFA e adotada pela CBD, mas que, entretanto, não era adotada pela CONMEBOL. Com isso, o Náutico perdeu um ponto e terminou em 3º lugar do grupo.

## Títulos
### Palmeiras

* Taça Brasil (Campeonato Brasileiro): 1960
* Campeonato Paulista: 1959

### Náutico

* Taça Norte: (1965, 1966, 1967)
* Copa dos Campeões do Norte de 1966: (1966)
* Campeonato Pernambucano de Futebol: (1963, 1964, 1965, 1966, 1967 e 1968)
* Torneio Início de Pernambuco: (1963, 1964, 1965)
# Fool's Paradise (2023)

Fool's Paradise (prt: O Paraíso dos Tontos) é um filme de comédia estadunidense de 2023 roteirizado e dirigido por Charlie Day em sua estreia na direção. O filme é estrelado por Day, Ken Jeong, Kate Beckinsale, Adrien Brody, Jason Sudeikis, Edie Falco, Jason Bateman, Common, Ray Liotta e John Malkovich.

## Sinopse

Um publicitário azarado tem sua chance de sorte quando descobre que um homem mudo que saiu recentemente de uma instituição de saúde mental parece ser um ator metódico que se recusa a sair de seu trailer.

## Elenco

* Charlie Day como Latte Pronto
* Ken Jeong como Lenny, publicitário
* Kate Beckinsale como Christiana Dior
* Adrien Brody como Chad Luxt
* Jason Sudeikis como Lex Tanner
* Ray Liotta como produtor
* Steve Coulter como Tony London
* Jason Bateman como técnico de efeitos especiais
* Edie Falco como agente
* Mary Elizabeth Ellis como mulher de maquiagem #1
* Drew Droege como estilista masculino
* Artemis Pebdani como mulher de maquiagem #2
* Jimmi Simpson como apresentador do show
* Lance Barber como Sidekick
* Dean Norris como chefe do estúdio
* Glenn Howerton como gerente de negócios
* Common como dagger
* Jillian Bell como Shaman
* Katherine McNamara como Terry
* John Malkovich como Ed Cote
* Alanna Ubach como atriz pornô
* David Hornsby como piloto
* Edy Ganem como filha

## Produção

Em setembro de 2018, a imprensa revelou que Charlie Day faria sua estreia como diretor, além de atuar e escrever o longa. No mês seguinte, Kate Beckinsale, Jason Sudeikis, Edie Falco, John Malkovich e Jillian Bell foram confirmados no elenco. As filmagens começaram em outubro, em Los Angeles, quando foram reveladas as participações de Ray Liotta, Ken Jeong, Adrien Brody, Travis Fimmel, Dean Norris e Edy Ganem. Katherine McNamara, Common, Mary Elizabeth Ellis e Glenn Howerton foram escalados em novembro de 2018.
A filmagem começou em outubro de 2018 em Los Angeles. Em fevereiro de 2022, Day revelou em uma entrevista que o filme passou por uma semana de refilmagens em dezembro de 2021 com Jeong, Brody, Beckinsale e Liotta depois que ela escreveu 27 páginas adicionais para o roteiro com base no conselho do diretor Guillermo del Toro, que também sugeriu que o título inicial do filme, El Tonto, fosse descartado. O filme teve posteriormente seu título alterado para Fool's Paradise.

## Lançamento

Fool's Paradise foi lançado nos cinemas em 12 de maio de 2023 pela Roadside Attractions nos Estados Unidos e no Canadá. A Lionsgate é responsável pela distribuição de mídia doméstica.

## Recepção
### Resposta da crítica

No site agregador de críticas Rotten Tomatoes, 18% das 44 resenhas dos críticos são positivas, com uma classificação média de 4,3/10. O consenso do site diz: "Fool's Paradise sugere que Charlie Day possa ter um futuro brilhante como diretor, mas ele precisará encontrar roteiros mais inteligentes e consistentemente engraçados." O Metacritic, que usa uma média ponderada, atribuiu ao filme uma pontuação de 27 em 100, baseado em 9 críticos, indicando críticas "geralmente desfavoráveis".
# Académico de Viseu Futebol Clube

O Académico de Viseu Futebol Clube, popularmente conhecido como Académico, O Viseu ou Os Viriatos, é um clube de futebol português com sede na cidade de Viseu, originalmente fundado em 1914 e refundado à posterior em 2006 com o Grupo Desportivo de Farminhão.
O Académico disputa atualmente na Segunda Liga e manda os seus jogos em casa no "Mini Jamor", o Estádio Municipal do Fontelo, com capacidade para 6 912 pessoas sentadas.

## História

O clube viseense originalmente fundado, a 7 de junho de 1914, como Sport Clube Académico, teve o seu primeiro jogo a 15 de junho com a realização de um jogo de futebol, entre os "Teams de Viseu e de Tondela, pelas 2 horas da tarde, no Campo de Viriato". Contudo, no último ano dessa década, o clube altera pela primeira vez o seu nome para Académico Futebol Clube.
Passados mais 4 anos, em 1923, o clube altera pela segunda vez a sua designação para União Académica de Viseu f, até que em 1927, nova mudança acontece, desta feita para Clube Académico de Futebol, nome com o qual viria a realizar os maiores êxitos da sua história.
O Clube Académico de Futebol (CAF), que assim se designou até 5 de Janeiro de 2006, foi declarado insolvente por decisão judicial, num processo derivado de vários problemas financeiros. Todavia, até à sua reestruturação, o Clube Académico de Futebol continuou ativo nos escalões de formação de futebol e nas restantes modalidades nas quais competia.
Assim nesse mesmo ano, um "Protocolo" celebrado com o O Grupo Desportivo de Farminhão fez renascer o clube, levando à quarta e última alteração de nome na sua história, como Académico de Viseu Futebol Clube e consequente mudança de sede para o Fontelo, suas cores e emblema do extinto CAF.
O CAF, um histórico clube da cidade de Viseu que participou em 4 campeonatos da I Divisão Nacional e sempre foi mais conhecido como 'Académico de Viseu’. Em 2006, depois da insolvência e restruturação com o "Farminhão" que militava na I Divisão Distrital da Associação de Futebol de Viseu. Depois de duas épocas na distrital, o Académico de Viseu FC subiu à III Divisão Nacional, na época 2008/09, como segundo classificado. Na época 2012/13 obteve o direito a participar na Segunda Liga de Futebol Profissional.
O presidente e administrador da SAD António Silva Albino esteve à frente do clube desde 2007 da SAD dos viseense até á sua morte em Maio 2022.
Em 2021, o investidor alemão Dietmar Hopp segura 51 % no Académico de Viseu com a sua empresa HOBRA GmbH & Co. KG. A ideia inicial é transferir jovens jogadores entre os clubes do Barra FC no Brasil e TSG Hoffenheim na Alemanha, ao mesmo tempo se possa afirmar no fuetebol português.
# OutRun 2019

OutRun 2019 (アウトラン 2019) é uma pseudo-sequência para o Sega Mega Drive de Out Run que se passa no futuro. O objetivo é competir contra um limite de tempo em um carro impulsionado por um foguete em quatro fase diferentes ao redor do mundo. Como o Out Run original, há uma bifurcação na estrada antes de cada checkpoint; no entanto, também pode haver bifurcações em uma única rota.
A velocidade máxima do carro, como indicado no jogo é de 341 km/h (211,89 mph) na versão japonesa, 682 km/h (423,77 mph) na versão europeia, e 682 mph (1097,57 km/h) na versão norte-americana.

## Fases

OutRun 2019 possui quatro fases diferentes para competir, cada uma mais difícil que a anterior. A maioria das rotas será dividida em duas rotas nas suas extremidades, como no Out Run original, mas algumas rotas terminam com um objetivo ou uma convergência com outra rota.
Além disso, ao longo da maioria das fases, algumas rotas irão divergir, dividindo-se em duas estradas diferentes. Normalmente, algumas das estradas levam a uma ponte sobre o solo, sobre um poço ou sobre a água. Cair das pontes custará ao jogador tempo precioso ou forçará o jogador a entrar na rota terrestre, se houver uma debaixo da ponte.
Às vezes, quando as estradas se dividem, elas levam a um tipo diferente de estrada. Isso geralmente é visto por meio de um sinal de divergência de três direções, o que significa que o jogador pode optar por ir para a esquerda, para a direita ou para a frente. Por exemplo, em uma rota na fase 4, algumas partes da estrada são cobertas com cimento úmido. Outra apresenta o jogador dirigindo em um túnel. A última levará o jogador por uma ponte.
Por último, há também desvios secretos que podem ser vistos facilmente. Por exemplo, algumas áreas terão uma rampa colocada estrategicamente em um lado da estrada. Se acertar corretamente, o carro voará para um lado e, eventualmente, pousará em uma estrada secreta. Além disso, saltar dessas rampas também pode levar a pontes aéreas em algumas rotas. Essas estradas secretas geralmente podem levar a um caminho mais rápido para a próxima rota.

## História

OutRun 2019 foi originalmente desenvolvido para o Mega-CD como Cyber Road. O desenvolvimento foi posteriormente transferido para o Mega Drive, onde foi renomeado como Junker's High antes de se tornar OutRun 2019.
Em 2005, o OutRun 2019 foi relançado como um dispositivo de TV, chamado Play TV Legends Outrun 2019. Notavelmente incluiu um controle de volante.
# Monte Garibaldi

O Monte Garibaldi é um estratovulcão potencialmente ativo localizado na Colúmbia Britânica, Canadá, 80 km a norte de Vancouver, no Canadá.
# Prova por exaustão

Uma prova por exaustão, também conhecido como prova por casos, indução perfeita ou método de força bruta, é um método de prova matemática em que a afirmação a ser provada é dividida em um número finito de casos e cada caso é checado para verificar se a afirmação é correta. Esse é um método de prova direta. A prova por exaustão é composta por duas etapas:
* A prova de que os casos são exaustivos; isto é, que cada parte da afirmação a ser provada corresponde com as condições de (pelo menos) um dos casos.
* A prova de cada um dos casos.

## Exemplo

Para provar que um número inteiro que é um cubo perfeito é um múltiplo de nove, ou é um a mais que um múltiplo de nove, ou o um a menos que um múltiplo de nove.
Prova: Cada número cúbico é o cubo de um número inteiro n. Cada número inteiro é ou um múltiplo de 3, ou 1 a mais ou 1 a menos que um múltiplo de 3. Então esses 3 casos são exaustivos:
* Caso 1: Se n = 3p, então n$^3$ = 27p$^3$, que é um múltiplo de 9.
* Caso 2: Se n = 3p+1, então n$^3$ = 27p$^3$ + 27p$^2$ + 9p + 1, que é um 1 a mais que um múltiplo de 9. Por exemplo, se n = 4, então n$^3$ = 64 = 9x7 + 1.
* Caso 3: Se n = 3p - 1, então n$^3$ = n$^3$ = 27p$^3$ − 27p$^2$ + 9p − 1, que é 1 a menos que um múltiplo de 9. Por exemplo, se n=5, então n$^3$ = 125 = 9x14 -1.∎

## Número de casos

Não há um limite máximo para o número de casos permitidos na prova por exaustāo. Às vezes há apenas dois ou três casos, mas em outras vezes há milhares ou até milhões de casos. Por exemplo, solucionando o final de um jogo de xadrez pode involver considerar um grande número de possíveis posições na árvore de decisão do problema.
A primeira prova do teorema das quatro cores foi uma prova por exaustão com 1,936 casos. Essa prova foi controversia porque a maioria dos casos foram verificados por um programa de computador, e não a mão. A menor prova conhecida do teorema das quatro cores ainda tem 600 casos.
Matemáticos preferem evitar provas com um grande número de casos, pois é um método pouco elegante, e a probabilidade de erro aumenta com o número de casos. Uma prova com um grande número de casos dá a impressão de que o teorema é verdadeiro apenas por coincidência, e não por um princípio ou conexão. Outros tipos de prova, como a prova por indução, são consideradas mais elegantes. No entanto, há importantes teoremas para quais nenhum outro método de prova foi encontrado, como
* A prova de que não há um plano projetivo finito de ordem 10.
* A classificação de grupos simples finitos.
* A conjetura de Kepler.