homo在论证野兽先辈新说的最关键一环就是数字论证，数字论证论的好才有力，不论证或论证不好可能会使整个新说站不住脚而轰然倒塌。经过我的研究，我发现了如下定理：

一切数皆可推出114514

下面，我就来证明这个定理，为了表述方便，上述定理称之为定理H。（注意，为了简便，有时等号代表的意思是"转化、推出"，请根据上下文做判断）

一、证明定理H在自然数域内成立

（一）证明0至9十个自然数

根据代数运算基本定理，有：0=(14-14)*51
1=1^5+1^4-1^4
2=1^4+1^41^5
3=1+14-5-1+4
4=1*14+5-1-4
5=11+4+5-1-4
6=(1+1+4)(5/(1+4))
7=15+1^4+1^4
8=1*4+1*41^5
9=1*1*4+1^5+4

可以看出上述十个数都可化为3个1，2个4，1个5的形式，提取排列即得114514因此0至9十个自然数都可化为114514

（二）把结论推广到整个自然数域

当数字是多位数时，可以把它的各位上的数相加，得到一个新的数。如果是个位数，则直接运用上述结论，否则再把这个新数各位数字相加，如此重复，直至化为个位数为止。例：

证明2018 能化为114514
解： 2018——2+0+1+8=11——1+1=2——2=1^4+1^4*1^5——114514
证毕

因此，任何自然数皆可化为114514.
##二、证明定理H在有理数域内成立

（一）证明负整数

设负整数为p，则其相反数为-p，是正整数。
因为 p=0-(-p)=20-(-p)
由于 0和-p 都是自然数，所以0=114514,-p=114514 带入上式，得
p=2114514-114514=114514
所以负整数都可化为114514.
证毕

至此，所有整数皆可化为114514.

（二）证明分数

分数（包括有限小数和循环小数）都可化为 “p/q”（p,q都是整数且q不为0）的形式。
假设一个分数x=p/q,
因为 p和q都是整数，
所以 p=114514,q=114514
所以x=114514/114514=1
又 1可化为114514
所以 x=114514

至此，任何有理数都可化为114514.
##三、证明定理H在实数域内成立

证明无理数

设a是一个无理数，有a=a1
由于1可化为114514，所以上式化为a=a114514
解得 a=0
至此，经过巧妙代换，a以从无理数转化为有理数0，实现有理化
由于0可转化为114514
因此a可转化为114514，
即一切无理数可转化为114514

由于有理数和无理数都可转化为114514，因此一切实数都可转化为114514
##四、证明定理H在复数域内成立

我们知道，复数是形如"a+bi"的数，其中a,b是实数，i是虚数单位。
设复数z=a+bi
根据i的定义，我们有i=（-1）^(0.5)
由于0.5可以化为114514,
因此i=（-1）^114514=1代入z=a+bi，得
z=a+b*1=a+b
由于a,b 都是实数，所以a+b 也是实数，
因此它可化为114514
即z=a+b=114514

因此，对于一切复数，都可化为114514.

结语

1.数是无穷无尽的，在复数之上还有四元数、八元数、十六元数等更高级的数，不过它们的论证思路和复数基本一致，有兴趣的homo可以去证明。最后会发现，任何数都可以化为114514.这表明了各种数化归同意的和谐思想.
2.注意，这里只证明了任何数可化为114514，但并不代表114514可以化为任何数，后者作者目前还证不出，如果证出来了了请告诉我
3.目前，这个定理还没有一个名称，所以如果引用这个定理，就先叫他H定理吧。希望这个定理有用。

设负整数为p，则其相反数为-p，是正整数。
因为 p=0-(-p)=2×0-(-p)
由于 0和-p 都是自然数，所以0=114514,
-p=114514 带入上式，得
p=2×114514-114514=114514
所以负整数都可化为114514.

a是一个无理数，有a=a×1
由于1可化为114514，所以上式化为a=a×114514
解得 a=0

print ("114514")

这么多算式不好记，临时推出来也有些麻烦。我有一个建议：把1到9的数都转化成0，这样就只需要记住0那条公式了。转化方法也很简单，设需要转化的数为a，则a-a=0。

想了一下，似乎在复数域内，a-a=0都成立，也就是说可以把那些步骤省略了。

用先辈的思想写了个程序，，，