A seguir: Theorem 1: ``Proof'' for Acima: O Algoritmo de Naimi-Trehel Anterior: Theorem 1: Scanning the