Before revision:  The correctness of the algorithm is proved, and the possibilities of parallel implementation are outlined .
After revision:  The correctness of the algorithm is proved, and possibilities of a parallel implementation are outlined .