_ _ _ _ _ _ _ _ _ _ _ _ _
Theorem: a cat has nine tails. Proof: No cat has eight tails. A cat has one tail more than no cat. Therefore, a cat has nine tails.
_ _ _ _ _ _ _ _ _ _ _ _ _
/\ ___ /\
// \/ \/ \\
(( O O ))
\\ / \ //
\/ | | \/
| | | |
| | | |
| o |
| | | |
|m| |m|
tr A-Z a-z < nome_do_ficheiro.txt