There's a property of a triangle where the sum of two of the interior angles is equal to 180-(last interior angle). In this case, 180-(last interior angle) is equal to 7x-1, because angles BAE and BAC are supplementary, which means that they add up to 180 degrees.
