Their laws conform to the formula: abcd=a*a! +b*b！ +c*c！ +d*d！ . In other words, the value of data is equal to the sum of each digit multiplied by its factorial. Because the factorial value of numbers from 0 to 9 is not particularly large, the factorial number also has an upper limit. All factorial numbers can be solved by exhaustive method, and it is very convenient to find factorial numbers by computer.
It was put forward by FXCommercial, discovered by FXCommercial itself, and summed up as a new conjecture of mathematical theorem. This formula describes that the numbers of n+ 1 are arranged from the largest to the smallest, each number takes the power of n, and (-1) NC _ n k is used as the coefficient to realize the sum of the difference terms of even and odd terms, so the sum of the numbers in this column is n! At present, fxccommercial has got an inference about him, and the verification is correct. No one in history has got a similar formula, which can be considered as another profound understanding of mathematics by human beings, but at present no one can give a proof of this theorem, and the author looks forward to the solution of this theorem proof.
The convention ∑_k=0_n means to sum the n+ 1 terms from 0 to n, then the theorem is expressed as: ∑ _ k = 0 _ n (-1) k * c _ nk * (a-MK) n = Mn * n! (a belongs to r, k, m and n belongs to n) n k: the k power of n is used to represent superscript; A/b: a divided by b; A*b: a times b, sometimes it can be ignored *; n！ : factorial of n; [x]: the largest integer not exceeding x; : the fractional part of x; A_n: the nth item in the sequence, _ is used to indicate the subscript n; C _ n k: combination number, which means taking k elements from n elements.