Basic Fuzzy Logic



I'm quite new in the field of Fuzzy Logic

and I heard about the basic predicate fuzzy logic tautology's
one of them I don't get:

forall x (A->B) -> (A -> forall x B)

Can some one explain this one?
Please...

.