Is any divergence-free curl-free vector field necessarily constant? How about Gradient of a harmonic function?