We have:
or, attending just to what is known about triangle XYZ, we have
So,
and,
Return