Tração formula. Greve no detran. Existem números racionais que não são reais.

Lampada cumprida.