u/MarcusOrlyius

Let ∘ be an append operator such that 47∘26 = 4726, then for all F(x), F(x∘3)^n = F(x)^(n) ∘ 3.