Lemma a : True.
Proof.
idtac.
exact I.
Qed.

Print a.

Lemma b : False.
Admitted.