Assumptions:
TeX:
B_{p} \equiv 2 \pmod {p}
p \in \mathbb{P}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| BellNumber | Bell number | |
| PP | Prime numbers |
Source code for this entry:
Entry(ID("60740b"),
Formula(CongruentMod(BellNumber(p), 2, p)),
Variables(p),
Assumptions(Element(p, PP)))