No quadro a seguir, estão apresentadas quatro propriedades da subtração, no conjunto dos números naturais. Com o intuito de ilustrar geometricamente uma delas, o autor apresenta um retângulo EFGH, subdividido em três retângulos menores, todos com largura 1 e com os comprimentos indicados conforme o quadro. 


Sejam a, b e c números naturais, com a ≥ b ≥ c, seguem-se as propriedades: 




CARAÇA, B. de J. Conceitos fundamentais da matemática. Lisboa: Tipografia matemática, 1952. [Adaptado].


Com base nessas informações, a área sombreada, no retângulo EFGH, representa a propriedade