Slightly simplified Group identity proof.