R (A,B,C,D,E,F)
Given FD = { A->CD , C->BE, B->F, F->A }
Prove A-> BF

A->CD
CD->BED (Augmentation)
A->BED (Transitivity)
BED->FED (Augmentation)
A->FED (Transitivity)