Marsden-Weinstein Reduction Theorem