Savoir utiliser des propriétés pour démontrer.