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 \( \ge \) b \( \ge \) c, seguem-se as propriedades:

I) a + (b - c) = (a + b) - c

II) a - (b + c) = (a - b) - c

III) a - (b - c) = (a + c) - b

IV) (a + c) - (b + c) = a - b

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