Use the continuous determinant mapIt induces a homomorphism on fundamental groups. Under the standard identificationthe class of corresponds to its winding number . Sincewe obtainFor this is not the identity, so could not have been the identity in .
Solved by gpt-5.6-sol high.
Codex Wiki