伟大的SLS定理——【2020.11.02提高组模拟】旅途和生活思考及其引论，关于lowbit的一些奇妙性质及其证明（？）

原题：https://gmoj.net/senior/#contest/show/3245/1
原题结论：当a，b均为奇数时，$lowbit(a^n-b^n)在longlong范围内$
原题结论前提：$0<b<a<1e6,n<=1e6$
$lowbit(x)代表x二进制中最低位1的值$
SLS定理1：lowbit是完全积性函数
证明：设$a=2^{s1}\ast k1,b=2^{s2}\ast k2,那么a\ast b=2^{s1+s2}\ast k1\ast k2,$
其中$s1,s2,k1,k2都是整数，在此前提下s1,s2最大，则k1,k2都是奇数$
$lowbit(a)=s1,lowbit(b)=s2,lowbit(a\ast b)=s1\ast s2（根据定义）$
$所以lowbit(a)\ast lowbit(b)=lowbit(a\ast b),结论一得证$
SLS定理2：将原题结论中减号改成加号，定理一定成立
$lowbit(a^n+b^n)\ast lowbit(a^n-b^n)=lowbit(a^{2n}-b^{2n})$
由于$lowbit(a^{2n}-b^{2n})$在long long范围内，所以SLS定理2成立
剩下的几个定理SLS正在推，等他证明完了再说
huangzihaoal同志弄出了SLS定理的完整版本
https://blog.csdn.net/huangzihaoal/article/details/109477724
伟大的SLS定理万岁！