Spontaneous magnetization of the Ising model on the Sierpinski carpet fractal, a rigorous result