定義定理証明の殆どが天下り式に述べられてるような本ってある？

俺、｢読者が著者と一緒になって数学議論の進展を追跡する｣みたいな本嫌いだから。