Multiplication of Homotopy Classes of Paths is Well-Defined