We were told that
traingle ABC is similar to triangle DEF
This means that the ratio of corresponding sides is equal. This means that
AB/DE = BC/EF = AC/DF
10/20 = 6/EF = 7/14
Thus, the proportion that can be used to find the length of EF is
6/EF = 1/2