10.1.6.
Further properties