船木むすぅ(中3)が「竹内おでんの顔が丸くないこと」を数学的に証明