Example VII.2.