Proof. trivial. Qed.

I'm learning to use Rocq, I felt very powerful.