そうでない群があるなら偽では?