12半开区间赋值、加法、求和；identity=(1,0)，赋值0=(0,0)。
compose(new,old)=(an*ao,an*bo+bn)。
python3 examples/advanced-algorithms/check_lazy_sum.py
109872双更新组合与3000随机更新，有限检查不替代证明。