Dal quesito precedente:
si sa che vale la relazione:
AABC = AS4 - AS1
Inoltre, non è difficile dimostrare, che la somma delle due lunule è equivalente al tiangolo ABC.
AABC = AS2 + AS3
Uguagliando le due relazioni si ha:
AS4 - AS1 = AS2 + AS3
Cioè:
AS4 = AS1 + AS2 + AS3