Adding "The proof is trivial" to bot for lulz