Evenwijdigheid: eigenschap 9