Now suppose that and
are homotopic maps from
to
such that for a base point
,
say, but
the intermediate maps do not respect these base points.
Then it is not necessary that
as maps from
to
. The following theorem addresses this issue.