結局 >>360 の証明は間違ってんの?
それとも >>363 より仮定の強い(有名な)定理があるの?