In more abstract terms, all that this equality of corresponding pairs of parts in the two triangles amounts to is that there is just one single triangle in which three parts are assumed as already determined, whence follows the determinateness of the remaining three parts.