紫牛、俄罗斯方块与数学定理的证明