Proof is trivial! It's a simple matter of projecting onto a universalizable Euclidean domain restricted by the coherent chain homotopies (Hint: use the Aztec diamond theorem)