theorem
  R,V are_homotopic implies pi_1-iso(R) = pi_1-iso(V)
by Th48,BORSUK_2:def 3;
