src: And if you went up to your local mathematician and showed him or her these two facts or other facts like these, they’d quickly recognize both that these facts are true and how to prove them, using the methods we just showed.
tgt: E se você fosse ao matemático local e mostrasse a ele esses dois fatos ou outros fatos como esses, ele reconheceria rapidamente que esses fatos são verdadeiros e como prová-los, usando os métodos que acabamos de mostrar.