Example III.7.
Ngantu