não indutivo

Exibindo um único resultado