Moreau Decomposition Theorem