In triangle ABC, D lies on AB, E lies on AC, and DE is parallel to BC. A proof has already shown triangle ADE is similar to triangle ABC. Given AD = 6, AB = 9, and DE = 4, which missing length statement follows from AD/AB = DE/BC?