So, if you look into that and obviously, the other directions of this implication is not necessary to be proven because that will automatically follow because in the first case when I am removing an attribute, extraneous attribute from the left hand side of a functional dependency, naturally the set that I get that will always imply the original set because it is always possible to add additional attributes on the left hand side and so on.
కాబట్టి, రెండో వైపుల ఇంప్లికేషన్ అనేది అవసరం లేదు. ఎందుకంటే అది ఆటోమెటికల్ గా ఇంప్లై అవుతుంది. ఎందుకంటే మొదటి సంధర్భంలో మనం ఒక ఆట్రిబ్యూట్ ను తీసివేస్తున్నాం అంటే ఎడమ వైపు ఉన్న ఫంక్షనల్ డిపెండెన్సీ యొక్క ఎక్సట్రానియోస్ ఆట్రిబ్యూట్ ను తొలగించినపుడు సహజంగానే మనకు ఒరిజినల్ సెట్ కు ఇంప్లై చేయవచ్చు. మనం ఎప్పుడనా ఏడమ వైపు ఒక ఆట్రిబ్యూట్ కలపడానికి వీలుంటుంది.