たけちょりが臭くないこと証明できるのかな