Add a partial proof that directional derivatives exist iff they exist for each component function