Can the theorem be proved invariantly, without any reference to charts,frames, basis vectors or coordinates?