証明の読み方・考え方　数学的思考過程への手引き　［原著第６版］