Before revision:  It is shown by construction^+ and L\inN^+,
After revision:  For any hyper-parameters N\in\mathbb{N^+ and L\inN^+,