Template:Algoforresultis

This is a theoretical result that is used in constructing the following algorithm: