you just need to apply on F, it will automatically take care of F^{+}.

A --> B, and B ---> C

if A is Key, then A ---> C ( inferred from the above FD's ) also valid.

if X --> Y and Y is Prime attribute then let Z --> X ===> Z ---> Y ( inferred from the above FD's ) also valid.