topological group에서 두 loop fg랑 f*g homotopic한거
좀 생각해보다가 안되서 찾아봤는데 어이가없노 ㅋㅋ