Mudança no estilo dos teoremas