在虚拟页面里寻找真实感动画的人一定有问题

惊奇地发现自己 OI 没有白学

一个*单子*（Monad）说白了不过就是*自函子*范畴上的一个*幺半群*而已，有什么难以理解的。

没有克服诱惑的我看了《高中数学 选修 2-2》

滚回文化课之后发现了一道很有意思的题

今天又是被吊打的一天呢

吾辈是蒟蒻，标程嘛，还没有

出题人mk。

定理内容

$$ p是素数\Leftrightarrow (p-1)!\equiv-1\ (\text{mod}\ p) $$

证明（口胡）

考虑$[1,p-1]$内的所有整数，他们在$\text{mod}\ p$意义下一定是有逆元的，且他们的逆元一定是小于等于p的

作用

在$O(n)$时间内求出$1-n$在$\text{mod}\ p$意义下的所有逆元