Solución a «Lanzamiento de tres dados rojos»