Up:
Elements reference
9.9 Theorems and proofs
Element theorem
: (mathematical) theorem etc.
Element proof
: mathematical proof.