reserve T for non empty TopSpace,
  a, b, c, d for Point of T;

theorem
  for T being non empty pathwise_connected TopSpace, a, b be Point of T,
P being Path of a, b, f being continuous Function of I[01], I[01] st f.0 = 0 &
  f.1 = 1 holds RePar (P, f), P are_homotopic by Th45,BORSUK_2:def 3;
