>>23
横ですがRudinでしょう
あっさり綺麗にまとまってはいます