Evenwijdigheid: eigenschap 7