¿Qué recurso literario se utiliza en el refrán A Dios rogando y con el mazo dando?