F is an arbitrary factor.
A is an arbitrary number.
B is an arbitrary number, distinct from A and F.
a and b are arbitrary numbers, used to make it easier to understand in which case for they are being used.
n and m are arbitrary numbers.
Take the first case: Given F divides A (that is, if you divide a number A by F, the result is a natural number), then prove that it divides mA (that is, prove that F divides any multiple of A).
They then use a general case that A=aF...A is a multiple of F (since F divides A, it must be a factor and thus A a multiple) to show from there.
Does that make the second case clearer?