通常の数学の本なら自明で済ませるようなことをわざわざ証明している。