Example III.6.
Nguluin
