数字理論はコレコレで論破できる