Before revision:  Our proofs deal with nonlinearity and weight tying , and differ from those in the related literature.
After revision:  Our proofs deal with implicit layers, weight tying and nonlinearity on weights , and differ from those in the related literature.