现在的数学无聊到连三角都要证明。