Theorem
Letbe a path from
to
and let
be a path from
to
Thenis a path from
to
Proof
is defined as
Henceis a path from
to
Theorem
Letbe a path from
to
and let
be a path from
to
Thenis a path from
to
Proof
is defined as
Henceis a path from
to