Sorteo Extraordinario Navidad Lotería Navidad 2023: ¿Cómo dividir un premio si compartes décimo con familiares o amigos?