At-Tawbah 9:82

Que rían un poco [en este mundo], porque llorarán mucho [en el Infierno] como retribución por lo que cometieron.

(Deja) que se rían un poco, que ya llorarán mucho (en la otra vida) como castigo por las malas acciones que cometieron.

¡Que rían, pues, un poco! Ya llorarán, y mucho, como retribución de lo que han cometido.