Some theorems and stuff

We now delve right into the proof.

Lemma 2.1   This is the first lemma of the lecture.

Proof:The proof is by induction on ...$\Box$

Theorem 2.2   This is the first theorem.

Proof:This is the proof of the first theorem theorem.$\Box$