Lie brackets and the sign convention

The proposition proves Lie compatibility of the local field actions. It does not prove essential self-adjointness of the fifteen global charge operators, nor their simultaneous integration to a group.