>>484
>V[G]の作り方を見れば
>V[G]⊂V
>は自明よ
G∈Vと言ってる?