Left-Invariant Vector Fields Are Complete