Reminds me of meta-algebra. For example, a^n - b^n = (a - b)(a^(n-1) + (a^(n-2))ab + ... b^(n-1)) .