杉浦の解析入門はディニの定理を証明しているけど、
アルツェラの定理は証明抜きの紹介だけ。