Un ejemplo correcto de inicialización diferida.