Since
is simply connected the map
has a lift
with respect to the covering projection
, such that
. Likewise
there exists a lift
of the map
with respect to the covering
, such that
. From
and
follows
and
. Thus,
the identity map on
and
are both lifts of
with respect to itself. By uniqueness of lifts we conclude that
is the identity map on
. Likewise
is the identity map on
.
nisha
2012-03-20