十分条件じゃ不足か
必要十分条件ならf'∈L^1とかいう定理があるだろ