Lemma simple : True.
Proof using. trivial. Qed.