Solution verification for functional dependency using armstrong axioms

I have the following functional dependencies which includes all attributes of the relation:

CF supposedly is a candidate key. Is the following reasoning correct:

ACF => AB (Augmentation)

AB => C

BC => BAD (Augmentation)

BAD => BED (Augmentation)

BAD => D (Decomposition)

D => E