- #1

- 104

- 0

## Homework Statement

Is it possible to reference Lemmas inside another Lemma?

That is, while you are trying to prove a lemma, you refer to another lemma you have just proven. Is this accepted?

## Homework Equations

None.

## The Attempt at a Solution

None.