Angles that are vertical are basically neighbors that are across from each other (numbers across from each other).
Angle <CFD would be vertical to <EFA.
