Functional Dependencies and Armstrong notation fundementals

if AB -> C and B -> A does that mean B -> C? B -> B is trivial and if we do composition with B->A, it becomes (B-> BA), then by transitivity does that mean B->C? but if B -> C is correct, it contradicts with the fact that B needs A to determines C