Falando em provar teorias est**i**s, tentem esta...
{x E N*|x^x!=>x!^x}
Não garanto se sempre é válida, embora me pareça muito real...
Abraço,
Benjamin Hinrichs
PS: esqueci-me da minha frase predileta, logo no próximo estará inclusa duas
vezes... se bem que, daqui em diante escreverei apenas mensagens objetivas e
curtas, sem todo o lado emocional por trás...