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)))