Proof That Composition of Paths Returns a Path
Theorem
Letbe a path fromtoand letbe a path fromto
Thenis a path fromto
Proof
is defined as
Henceis a path fromto
Theorem
Letbe a path fromtoand letbe a path fromto
Thenis a path fromto
Proof
is defined as
Henceis a path fromto