## 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