Lemma foo : Type.
Proof. exact Type. Qed.

Lemma foo1 : Type.
Proof. exact Type. Qed.

Lemma foo2 : Type.
Proof. exact foo1. Qed.