A Proof of Theorem 1 Let f be a layer of SMP: f(U, Y, A)[i,:,: ] = u(U, U j, y