Test
G
=
Z
4
=
{
0
,
1
,
2
,
3
}
.