If A alone functionally determines B then adding redundant attributes to the left hand side of the relationship will not alter the truth of the original dependency.
Basically this is the Augmentation rule form Armstrons Axioms which states that if A -> B then A,C -> B,C. Then by decomposition A,C -> B