add fib-prove
增加数学公式的支持
add