We have a base file F0, and all files considered here are F0 repeated a number of times (Natural, >0). We shall treat these files as numbers, each one can be represented by the number of characters it contains. Any other aspect of them can be ignored. Concerning these files we have two functions:
CF such that CF(F,X) is the file F concatenated with itself X times, i.e.
CF(F,X) = CF(F,X-1) + CF(F,X-1)
CF(F,0) = F
We also have a function AF such that AF(F,X) is the file with its initial contents repeated X times, i.e.