連続群はリー群だけなの?