Theorem
Letbe a path fromtoand letbe a path fromto
Thenis a path fromto
Proof
is defined as
Henceis a path fromto