Explanation of the proof by the person who implemented it: http://www.cecm.sfu.ca/organics/papers/lam/paper/html/paper.html http://www.cecm.sfu.ca/organics/pap

Explanation of the proof by the person who implemented it: http://www.cecm.sfu.ca/organics/papers/lam/paper/html/paper.html http://www.cecm.sfu.ca/organics/papers/lam/paper/html/paper....