Application 3 : Equivalence of Functional Dependencies - Example 4 - edufulness