hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Estádio Municipal Francisco Ribeiro Nogueira
O Estádio Municipal Francisco Ribeiro Nogueira, conhecido também pelo apelido Nogueirão, é um estádio brasileiro de futebol que foi inaugurado no dia 31 de maio de 1995. Ele está localizado na cidade de Mogi das Cruzes, no estado de São Paulo. Atualmente a capacidade do estádio é de 10.000 pessoas. É a casa do União Mogi e do Clube Atlético Mogi das Cruzes.

União Futebol Clube (São Paulo)
União Mogi das Cruzes Futebol Clube, mais conhecido como União Mogi, é um clube brasileiro sediado em Mogi das Cruzes, no estado de São Paulo. Foi fundado em 7 de setembro de 1913. Suas cores são o vermelho e o branco.
Kira Kyrillovna da Rússia
Kira Kirillovna da Rússia (9 de maio de 1909 - 8 de setembro de 1967) foi a segunda filha do grão-duque Cyril Vladimirovich e da sua esposa, a princesa Vitória Melita de Saxe-Coburgo-Gota. Casou-se com o príncipe Luís Fernando da Prússia.

Luís Fernando da Prússia
Luís Fernando, Príncipe da Prússia (em alemão: Louis Ferdinand Victor Eduard Adalbert Michael Hubertus Prinz von Preußen; Potsdam, Prússia, 9 de novembro de 1907 - Hechingen, Alemanha, 26 de setembro de 1994) foi um membro da família von Hohenzollern, pretendente ao trono abolido da Alemanha, um opositor fervente do partido nazista e promotor de artes.
Eye of the Dolphin
Eye of the Dolphin (bra: No Mar com os Golfinhos) é um filme de drama estadunidense de 2007 escrito por Wendell Morris e Michael Sellers. O filme estrelou Carly Schroeder, Adrian Dunbar, George Harris, Katharine Ross e Christine Adams. Eye of the Dolphin foi dirigido por Sellers.

Uma sequência intitulada Beneath the Blue foi lançada em 24 de outubro de 2010, estrelando Paul Wesley e Caitlin Wachs.

Beneath the Blue
Beneath the Blue, também conhecido como Way of the Dolphin (bra: Operação: Salvem os Golfinhos), é uma sequência do filme de drama  de 2010 de Michael Sellers, Eye of the Dolphin, de 2007, estrelado por Carly Schroeder. É distribuído pela Monterey Media e Quantum Entertainment. O filme foi escrito pelo mesmo escritor do filme anterior, Wendell Morris. O filme é estrelado por Paul Wesley, Caitlin Wachs e David Keith. Uma então desconhecida Samantha Jade faz sua estréia no cinema. O filme foi lançado em 24 de outubro de 2010.
Anne Buijs
Anne Elise Buijs (Oostzaan, 2 de dezembro de 1991), é uma voleibolista indoor holandesa que atua na posição de ponteira-passadora. Atualmente, joga pelo clube italiano Reale Mutua Chieri. É filha do ex-jogador holandês e técnico de vôlei, Teun Buijs, e foi treinada por ele em suas passagens pelos times de VV Zaanstad, na Holanda, SC Schweriner na Alemanha e em Lokomotiv Baku, no Azerbaijão. Também sua mãe, Irene Buijs, foi jogadora de vôlei e atuou pela seleção nacional. Seu irmão Tom Buijs também foi jogador. Em 2 de março de 2023, Buijs casou-se com Ana Carolina da Silva, jogadora da seleção brasileira feminina de vôlei.

Ana Carolina (voleibolista)
Ana Carolina "Carolana" da Silva (Belo Horizonte, 8 de abril de 1991) é uma voleibolista indoor brasileira que atua na posição de Central. Conquistou pela Seleção Brasileira de Novas duas medalhas em edições da Universíada de Verão, nos anos de 2011 e 2013, ouro e prata respectivamente. Disputou pela Seleção Brasileira a edição do Mountreux Volley Masters de 2014 e foi medalhista de ouro no Grand Prix de 2014, no Japão. Em clubes é medalhista de prata no Campeonato Mundial de Clubes de 2013 e de 2017, na Suíça e no Japão, devidamente. Também é hexacampeã do Campeonato Sul-Americano de Clubes nos anos de 2013, 2015, 2016, 2017, 2021 e 2023. Em 2 março de 2023, se casou com Anne Buijs, jogadora da Seleção Holandesa de Vôlei.
Cauda (aviação)
Cauda ou Rabo é a parte traseira de um avião ou helicóptero. Em aviões de carga a cauda inclui a existência de uma rampa, denominada "rampa traseira", que facilita a entrada e saída de cargas do avião.

É na cauda que se encontra o profundor e o estabilizador vertical das aeronaves. Já nos helicopteros, é na cauda que se encontra o rotor de cauda, que permite a aeronave girar na posição horizontal.

Estabilizador (aviação)
O rudder (também conhecido como estabilizador vertical) é uma estrutura aerodinâmica móvel incluída na empenagem do avião, cujo objectivo é controlar a estabilidade longitudinal (arfagem) e direcional (guinada). O estabilizador pode conter mais uma parte móvel chamada de profundor.

Alguns aviões apresentam apenas 2 estabilizadores em diagonal que, combinados, controlam a eestabilidade longitudinal e direcional ao mesmo tempo, esse tipo de avião tem cauda chamada v-tail. A estabilização também pode ser conseguida através de outros tipos de asa como canard, ou tandem ou aviões sem cauda.
Campeonato Italiano de Futebol - Série D
A Serie D (pronúncia italiana: [ˈsɛːrje ˈdi]) é o quarto nível do Campeonato Italiano de Futebol (depois da Serie A, Serie B e Serie C), é o primeiro campeonato de carácter amador (não profissional), e é gerido pela Lega Nazionale Dilettanti (em português: Liga Nacional Amadora; ou LND, da sigla em italiano), órgão filiado a Federação Italiana de Futebol (em italiano: Federazione Italiana Giuoco Calcio – FIGC).

Campeonato Italiano de Futebol - Série C
A Serie C é o terceiro nível do sistema de ligas do futebol italiano e último nível de futebol profissional da Itália.

Desde 2014, é o único campeonato organizado pela Lega Italiana Calcio Professionistico, após a unificação entre a Prima e Seconda Divisione em uma única divisão chamada Lega Pro, reintroduzindo o formato da Serie C original que existiu entre 1935 e 1978.

Em 25 de maio de 2017, a assembléia da Lega Pro aprovou por unanimidade o retorno à designação original: Serie C.

Ela premia com acessos para a Serie B italiana e com rebaixamentos para a Serie D.
Tito Vergínio Tricosto Rutilo
Tito Vergínio Tricosto Rutilo (em latim: Titus Verginius Tricostus Rutilus) foi um político da gente Vergínia nos primeiros anos da República Romana eleito cônsul em 479 a.C. com Cesão Fábio Vibulano (em seu terceiro mandato).

Cesão Fábio Vibulano
Cesão Fábio Vibulano (em latim: Kaeso Fabius Vibulanus) foi um político da gente Fábia nos primeiros anos da República Romana eleito cônsul por três vezes, em 484, 481 e em 479 a.C., com Lúcio Emílio Mamerco, Espúrio Fúrio Medulino Fuso e Tito Vergínio Tricosto Rutilo respectivamente.
The Big Blue
The Big Blue é o nome dado para o clássico australiano entre Sydney Football Club e Melbourne Victory Football Club. As duas equipes representam as maiores cidades da Austrália, Sydney (onde se localiza a sede do Sydney FC) e Melbourne (onde se localiza a sede do Melbourne Victory). O nome do clássico vem devido a cor azul ser a principal cor de ambos os clubes.

Melbourne Victory Football Club
Melbourne Victory Football Club é um clube de futebol da cidade de Melbourne, na Austrália fundado em 2004.

Seu estádio é o AAMI Park, com capacidade para 30.050 espectadores. Também usa o Docklands Stadium (chamado Etihad Stadium por questões de patrocínio).
Correio de voz
Correio de voz (voicemail, voice mail, voice-mail, vmail ou VMS) é um sistema centralizado de gerenciamento de mensagens telefónicas para um grande número de pessoas. Em sua forma mais simples, ele reproduz o funcionamento de uma secretária eletrônica, utiliza um monofone padrão como interface do utilizador e usa um sistema centralizado, computadorizado, em vez de um dispositivo num telefone individual.

Secretária eletrônica
Uma secretária eletrônica (português brasileiro) ou atendedor de chamadas (português europeu) (ou ainda atendedor automático) é um dispositivo para responder automaticamente chamadas telefônicas e gravar mensagens deixadas por pessoas que ligam para um determinado número, quando a pessoa chamada não pode atender o telefone. Diferentemente do correio de voz, o qual é um sistema centralizado ou intercomunicante que realiza uma função similar, uma secretária eletrônica é instalada na propriedade do cliente, ao lado ou incorporada ao telefone dele. Enquanto as primeiras secretárias eletrônicas usavam tecnologia de fita magnética, equipamentos mais modernos usam memórias solid state. Fitas magnéticas ainda são utilizadas em muitos dispositivos de baixo custo. Nos dias de hoje, todavia, secretárias eletrônicas que usam fitas não podem ser mais encontradas com facilidade nas lojas.
União de duas linguagens regulares
Na teoria das linguagens formais, e em particular na teoria dos autômatos finitos não determinísticos, é conhecido que a união de duas linguagens regulares é uma linguagem regular. Este artigo fornece uma prova desta afirmação.

Linguagem regular
Na teoria da ciência da computação e teoria formal de linguagem, uma linguagem regular é uma linguagem formal que pode ser expressa usando expressões regulares, ou seja, uma linguagem produzida utilizando as operações de concatenação, união e fecho de Kleene sobre os elementos de um alfabeto. De acordo com a hierarquia de Chomsky, linguagens regulares são aquelas geradas por gramática regulares.

As linguagens regulares são utilizadas para descrever dispositivos que realizam computações simples, como os autômatos finitos, pois representam a linguagem mais elementar classificada pela hierarquia de Chomsky que não requer memória para ser reconhecida.

No projeto de linguagens de programação, as linguagens regulares são úteis no processo de análise sintática.
Adam Savage
Adam Whitney Savage (Nova Iorque, 15 de Julho de 1967), mais conhecido como Adam Savage, era o coapresentador do programa MythBusters, exibido no canal de televisão por assinatura Discovery Channel, no ateliê de seu parceiro Jamie Hyneman, M5 Industries. O programa ficou famoso por desmascarar lendas urbanas famosas.

Jamie Hyneman
James Franklin Hyneman (Marshall, 25 de setembro de 1956), mais conhecido como Jamie Hyneman, ficou famoso por apresentar o programa Mythbusters do canal de televisão por assinatura Discovery Channel. É o proprietário da oficina de efeitos especiais M5 Industries, onde o programa era gravado, juntamente com o seu antigo colega Adam Savage.
Aquifoliales
Aquifoliales é uma ordem de plantas com flor, pertencente à classe Magnoliopsida, que agrupa 5 famílias, 5-6 géneros e cerca de 412 espécies. Os representantes mais notáveis pertencem à família Aquifoliaceae (género Ilex, os azevinhos). Alguns sistemas de classificação recentes segregam as famílias Cardiopteridaceae e Stemonuraceae numa ordem Cardiopteridales Takhtajan, deixando apenas as restantes famílias na ordem Aquifoliales.

Aquifoliaceae
Aquifoliaceae é uma família monotípica de plantas com flor da ordem Aquifoliales, que na sua presente circunscrição taxonómica tem Ilex como único género. O género Ilex, com três secções, agrupa cerca de 500-570 espécies de arbustos ou árvores dioicas, com distribuição natural sub-cosmopolita pelas regiões tropicais e temperadas de todo o mundo. Várias espécies apresentam interesse económico como plantas ornamentais, para a produção de madeiras, e como fonte de tisanas estimulates, com destaque para a erva-mate. A espécie tipo é Ilex aquifolium L..
California (canção de Mylène Farmer)
"California" é uma canção gravada pela cantora, e atriz francesa Mylène Farmer. Foi o terceiro single de seu quarto álbum de estúdio, Anamorphosée, e foi lançada em 26 de março de 1996. A música marcou sua única colaboração com o roteirista de cinema e diretor americano Abel Ferrara, que dirigiu o muito caro videoclipe em que Farmer aparece como uma mulher burguesa e prostituta. Tendo sido composta pelo francês Laurent Boutonnat, Farmer descreve na canção a necessidade do exílio, e anonimato, que a levou a viver na Califórnia em meados da década de 1990, misturando várias palavras do inglês com o francês, incluindo citações de Guillaume Apollinaire. Teve relativo sucesso na França, e na Bélgica, mas foi um de seus principais sucessos na Rússia, e no Leste Europeu.

Mylène Farmer
Mylène Farmer (Montreal, 12 de setembro de 1961), cujo nome verdadeiro é Mylène Jeanne Gautier, é uma cantora, compositora e atriz francesa, de origem canadense. Ela é conhecida como a "Rainha do Pop Francês".

Tendo vendido mais de 30 milhões de cópias, é a artista musical de maior sucesso em todos os tempos no território francês.
Mudou-se para França terra natal dos seus pais, aos oito anos de idade. O seu apelido artístico, Farmer, foi adotado em homenagem a atriz de cinema Frances Farmer. Em sua adolescência, passa três anos no cours Florent e participa em alguns castings para modelo e manequim fotográfico.

Enigmática, misteriosa e muitas vezes alvo da crítica da imprensa pelo seu silêncio promocional, Mylène Farmer é a maior e mais bem sucedida cantora francesa dos últimos anos.
Remensa
O termo remensa, do latim redimentia, era utilizado durante Idade Média, no Principado da Catalunha, para referir-se ao pagamento que os camponeses deviam dar ao seu senhor para ter a permissão para sair da terra.

Posteriormente, o termo foi aplicado para designar os produtores sujeitos a essa condição. Desse modo, os camponeses de remensa, ou simplesmente “los remensas”, eram lavradores de terras que lhes foram atribuídas de forma forçada e hereditária. Legalmente, eram homens livres, mas essa liberdade era limitada pelos laços que os ligavam à terra que cultivavam e, por meio dela, ao senhor. Sua condição não diferia substancialmente da dos camponeses de outros territórios peninsulares e no resto da Europa medieval, que eram denominados como servos. Mas as circunstâncias políticas, sociais e econômicas especiais da Catalunha medieval davam notável proeminência a essa classe social.

Servidão
A servidão era o estado da maioria da população sob o regime do feudalismo, especificamente em relação ao senhorio e a sistemas semelhantes. Era uma condição de servidão por dívida e de servidão por contrato com semelhanças e diferenças com a escravidão, que se desenvolveu na Europa durante o final da Antiguidade e início da Idade Média, e perdurando em alguns países até meados do século XIX.

A servidão era o status de muitos camponeses sob o feudalismo, especificamente relacionado ao manorialismo e sistemas similares. Era uma condição de servidão por dívida e servidão contratada com semelhanças e diferenças em relação à escravidão. Desenvolveu-se durante a Antiguidade Tardia e Início da Idade Média na Europa e durou em alguns países até meados do século XIX.
Henrique de Orléans, Conde de Paris
Henrique Roberto Fernando Maria de Orléans (em francês: Henri Robert Ferdinand Marie d'Orléans; Le Nouvion-en-Thiérache, 5 de julho de 1908 – Chérisy, 19 de junho de 1999), foi um príncipe francês da Casa de Orléans e pretedente orleanista ao entinto trono francês de 1940 até sua morte. O único filho do príncipe João, Duque de Guise, e de sua esposa, a princesa Isabel Maria de Paris.

João, Duque de Guise
João Pedro Clemente Maria de Orléans (em francês: Jean Pierre Clément Marie d'Orléans; Paris, 4 de Setembro de 1874 – Larache, 25 de Agosto de 1940), foi um príncipe francês da Casa de Orléans, Duque de Guise e pretendente ao trono francês. O filho mais novo do príncipe Roberto, Duque de Chartres, e de sua esposa, a princesa Francisca de Joinville. Era bisneto do imperador Pedro I do Brasil, e do rei Luís Filipe I da França.
Bill Tanner
Bill Tanner é uma personagem dos livros e filmes de James Bond, criada por Ian Fleming. Ele é o chefe de gabinete de M no serviço de inteligência britânico, MI-6. A personagem é habitual na série e aparece em sete filmes da franquia cinematográfica, interpretada por atores diferentes, da mesma maneira que Felix Leiter, o agente da CIA amigo de Bond, outro aliado habitual de 007 e que já foi representado por vários atores no cinema.

M (James Bond)
M é uma personagem fictícia da série de James Bond, chefe do Serviço Secreto de Inteligência britânico – também conhecido como MI6, criada por Ian Fleming. Personagem constante em toda a literatura de Fleming e na filmografia de 007, chefe e principal aliado do espião britânico, foi baseada em várias pessoas que seu criador conheceu durante a vida e que haviam comandado seções da Inteligência Britânica no período em que a integrou, com destaque para o contra-almirante John Henry Godfrey, seu superior na Divisão de Inteligência Naval.

M já apareceu nos romances escritos por seu criador Fleming e, após sua morte, por outros sete autores, como também em vinte e quatro filmes da série. Na série oficial produzida pela EON Productions, ele já foi interpretado por quatro atores: Bernard Lee, Robert Brown, Judi Dench e Ralph Fiennes. Em duas produções independentes, por John Huston e Edward Fox.
Ponta de Sagres
A Ponta de Sagres (o étimo tem origem no latim Promontorium Sacrum, "Promontório Sagrado") é um promontório localizado a sudoeste de Sagres, no Algarve, Portugal. Fica 4 km a leste e 3 km a sul do Cabo de São Vicente, tido como o extremo sudoeste da Europa continental. Separa a oeste a Enseada do Belixe (que vai até ao Cabo de São Vicente) da Enseada de Sagres (mais pequena, com 1500m de largura, e que vai até à Ponta da Atalaia).

A região entre a Ponta de Sagres e o Cabo de São Vicente foi usada para fins religiosos desde a época do Neolítico, existindo menires no concelho de Vila do Bispo, onde ambos se situam.

Cabo de São Vicente
O cabo de São Vicente é um cabo situado no extremo sudoeste de Portugal continental, na freguesia de Sagres, concelho de Vila do Bispo. Fica 4 km a oeste e 3 km a norte da Ponta de Sagres, o antigo "Promontorium Sacrum" romano, dedicado ao deus Saturno, e onde se situa uma antiga fortaleza visitável (Fortaleza de Sagres).

Em Lagos, a 25 km do cabo para leste, o Infante D. Henrique teria estabelecido a sua escola de navegação (Escola de Sagres) no século XV, que impulsionou os Descobrimentos portugueses. O pesquisador Luís de Albuquerque demonstrou tratar-se de um mito.

Do cabo é possível apreciar a passagem dos navios que transitam entre o Mar Mediterrâneo e o norte da Africa.

O Cabo de São Vicente faz parte do Parque Natural do Sudoeste Alentejano e Costa Vicentina.
Agartha
Agartha ou Agarta, por vezes chamada de Agharta, seria um reino situado no coração da Terra, e por vezes, dentro da Terra. Neste sentido, a crença em sua existência estaria associada às teorias da Terra Oca e à cidade sagrada de Shambhala.

Shambhala, não necessariamente entendida como um reino subterrâneo, no imaginário do budismo e do hinduísmo, dentre outros, acha-se associada ao axis mundi, ou eixo primordial mitológico de um povo ou cultura, sendo uma das oito cidades sagradas localizadas em quarta dimensão, como entende a tradição ocultista, baseada principalmente em textos do budismo e consequentemente do hinduismo.

A partir desse reino mítico, um monarca chamado Melki-Tsedeq, ou Melquisedeque, governaria o mundo. Este misterioso personagem é citado na Bíblia (Gên. 14:18-20 e Heb 6:17-20 e 7:1-3). No Budismo tibetano crê-se que haveria canais de ligação entre Shambhala e o reino budista dos Dalai Lama.

Sambala
Sambala, Shambala, Shamballa ou Shambhala é um local místico citado amiúde em textos sagrados e presente em diversas tradições do Oriente. Depois da divulgação do termo no ocidente tornou-se conhecida em círculos esotéricos e penetrou até a cultura popular.
El gallo de oro (serie de televisión)
El gallo de ouro é uma série de televisão por internet mexicano de drama de época produzida por W Studios para TelevisaUnivision no 2023. A série está baseada na novela homónima de 1980 escrita por Juan Rulfo, sendo adaptada por Lina Uribe e Darío Vanegas. Lançou-se através de Vix o 20 de outubro de 2023.

É protagonizada por José Ron, Lucero e Plutarco Haza, junto a uma partilha coral.

Em 26 de dezembro de 2023, a série foi renovada para uma segunda temporada, a qual foi estreada o 12 de janeiro de 2024.

Foi exibida pelo Las Estrellas entre 3 e 28 de março de 2025, substituindo Las hijas de la señora García e sendo substituída por Juegos de amor y poder.

Las hijas de la señora García
Las Hijas de la Señora García (no Brasil: As Filhas da Senhora Garcia) é uma telenovela mexicana produzida por José Alberto Castro para a TelevisaUnivision e exibida pelo Las Estrellas de 11 de novembro de 2024 a 2 de março de 2025, substituindo El precio de amarte e sendo substituída por El gallo de oro.

É um remake da telenovela turca Fazilet Hanım ve Kızları, de 2017, criada por Sırma Yanık.

Contou com Maria Sorté, Ela Velden, Oka Giner, Brandon Peniche, Emmanuel Palomares, Geraldine Bazán, Juan Diego Covarrubias e Guillermo García Cantú nos papéis centrais.
Ramo fino descendente
Em anatomia, o ramo fino descendente é um seguimento do túbulo intermediário, localizado entre o túbulo reto proximal e o ramo fino ascendente. É uma estrutura tubular microscópica que faz parte dos túbulos renais.

O túbulo intermediário tem a forma de U, por isso suas subdivisões são denominadas de ramo descendente e ramo ascendente. O termo fino, provém do fato das células do túbulo intermediário serem menos espessas que os outros seguimentos dos túbulos renais, dando a impressão de serem mais finas quando visualizadas ao microscópio. O túbulo intermediário, a parte reta do túbulo proximal e a parte reta do túbulo distal, fomam a alça de Henle, e por isso o ramo fino descendente também é chamado de ramo descendente fino da alça de Henle.

Nefrónio
O nefrónio (português europeu) ou néfron (português brasileiro) (grc. νεφρός= rim), é uma estrutura microscópica capaz de eliminar resíduos do metabolismo do sangue, manter o equilíbrio hidroelectrolítico e ácido-básico do corpo humano, controlar a quantidade de líquidos no organismo, regular a pressão arterial e secretar hormônios, além de produzir a urina.  Por esse motivo dizemos que o nefrónio é a unidade funcional do rim, pois apenas um nefrónio é capaz de realizar todas as funções renais.O néfron é formado por um tubo com uma extremidade dilatada em forma de taça a cápsula glomerular, essa cápsula envolve uma rede de capilares, o glomérulo renal

O nefrónio é formado pela cápsula de Bowman, pelo glomérulo e pelos túbulos renais. O glomérulo e a cápsula de Bowman formam uma estrutura denominada corpúsculo de Malpighi.
Superfície de gênero 2
Em matemática, uma superfície de gênero 2 (também denominada bitoro ou toro com dois furos) é uma superfície formada pela soma conexa de dois toros. Isso quer dizer que de cada um dos toros é removido o interior de um disco, e as bordas dos dois discos são identificadas (coladas uma à outra), formando um bitoro.

Este é o caso mais simples de uma soma conexa de n toros.  Uma soma conexa de toros é um exemplo de variedade bidimensional. De acordo com o teorema de classificação das 2-variedades, toda 2-variedade compacta conexa é uma esfera, uma soma conexa de toros ou uma soma conexa de planos projetivos reais.

Nós no bitoro são estudados na teoria dos nós.

Toro (topologia)
Toro ou toroide é um espaço topológico homeomorfo ao produto de dois círculos. Apresenta o formato aproximado de uma câmara de pneu ou uma rosquinha. Em geometria, pode ser definido como o lugar geométrico tridimensional formado pela rotação de uma superfície circular plana de raio r em torno de uma circunferência de raio R.
Teorema
Na matemática, um teorema é uma afirmação que pode ser provada como verdadeira, por meio de outras afirmações já demonstradas, como outros teoremas, juntamente com afirmações anteriormente aceitas, como axiomas. Prova é o processo de mostrar que um teorema está correto. O termo teorema foi introduzido por Euclides, em Elementos, para significar "afirmação que pode ser provada". Em grego, originalmente significava "espetáculo" ou "festa". Atualmente, é mais comum deixar o termo "teorema" apenas para certas afirmações que podem ser provadas e de grande importância "matemática", o que torna a definição um tanto subjetiva.

É importante notar que "teorema" é diferente de "teoria".

Prova matemática
Em matemática, uma prova é uma demonstração de que, dados certos axiomas, algum enunciado de interesse é necessariamente verdadeiro. Utiliza como base premissas intrínsecas a um modelo conceitual e um silogismo que, a partir de uma série de operações, chega ao resultado. Costuma-se marcar o final de uma prova com a abreviação c. q. d. (como queríamos demonstrar).