Minor correx in the GI proof.