Sardの定理を最初から自力でというのはしんどいだろう・