Let's prove that there are two irrational numbers, call them \(a\) and \(b\), such that \(a^b\) is a rational number! And let's do it in a tweet.
At codegolf.stackexchange.com, smaller is better.