Vou provar que, se um conjunto tiver \(n\) elements, então esse conjunto tem exatamente \(2^n\) subconjuntos.
Vamos provar que existem dois números irracionais, sejam eles \(a\) e \(b\), tais que \(a^b\) é um número racional! E vamos fazê-lo num tweet.
