[TEX]\leftrightarrow(a+d)^2-(b+c)^2=(b-c)^2-(a-d)^2\leftrightarrow(a+b+c+d)(a+d-b-c)=(b-c+a-d)(b-c-a+d)[/TEX]
Nếu [TEX](b-c+a-d)(b-c-a+d)=0[/TEX], [TEX]a+b+c+d[/TEX] sẽ là số chẵn, và và nó lớn hơn 4, nên là hợp số.
Nếu [TEX](b-c+a-d)(b-c-a+d)\ne 0[/TEX], [TEX]a+b+c+d[/TEX] là ước số của [TEX](b-c+a-d)(b-c-a+d)[/TEX]. Nên nếu nó là số nguyên tố thì nó phải là ước của một trong hai số [TEX]b-c+a-d[/TEX] hoặc [TEX]b-c-a+d[/TEX], nhưng điều này là không thể do [TEX]|b-c+a-d|<a+b+c+d[/TEX] và [TEX]|b-c-a+d|<a+b+c+d[/TEX].
Vậy, [TEX]a+b+c+d[/TEX] là hợp số.