Juiz resolve problema matemático para fundamentar decisão
juiz federal substituto Francisco de Assis Basilio de Moraes entendeu que a questão efetivamente apresentava "erro grosseiro para aqueles que possuem o conhecimento necessário para a resolução do problema... O juiz, que também é licenciado em matemática, engenheiro naval e mestre em economia, literalmente, resolveu o problema, utilizando o "Diagrama de Venn", apresentando em sua decisão as fórmulas e expressões