溝畑本といえば
微分積分学(溝畑、高橋、坂田)の定理2.3の文中には
「これは微分積分学のかなめである」という主張が
書いてある。もちろんその証明は書いてないが。