9.2.4.
Further properties