你绝对没想过原来数学家这么流氓，一言不合就进行暴力证明