I can't quite remember the name of the theorem, but I know it exists. Remember that the picture I attached holds true. That is essentially what is happening with both of your questions, only with parallel lines. Notice that EF is cutting through the parallel lines of FD and AC. Are you following?