A geometric proof of confluence by decreasing diagrams by