有缺漏可以直接留言，我会补上的~
Miller-Rabin判断质数：假设是素数，由费马小定理及二次剩余定理判矛盾十分显然。
Pollard-Rho分解大整数：直接乱随，通过取最大公约数使得期望概率是$n^{0.25}$，就是用了更高明的判重法。
Lucas定理：非常简单，把完系约掉就好啦~
Polya定理（多聚腺苷酸定理）：反正我只会Burnside引理，而后就不会了……
Matrix-Tree定理：感性理解，我也不会
基底：线性空间就是这样定义的我有什么办法╮(╯▽╰)╭
原文：https://www.cnblogs.com/l-ly-03/p/Metaphysics-The_First.html