Un ejemplo correcto de inicialización diferida y segura en entornos multi-hilo en C# sería: