Algorithm

Proofs