the following properties are seen to hold: