Lemma FalseLemma : False <-> False.
tauto.
Qed.
Check FalseLemma.