The necessity of the proof is not an analytic necessity: the construction which enables the conclusion to be reached is not really contained in the essence of the triangle, but merely possible when that essence serves as a starting Wertheimer, Drei Abhandlungen zur Gestalttheorie: die Schluszprozesse