Verify Green's Theorem for: f4y³dx-2x²dy where C, oriented anti-clockwise, is composed of the half-circle x² + y² = 9 for y ≥ 0, and the line y = 0 for -3 ≤ x ≤ 3.