),

两端分别相加,得m(x,y)=(x,Σ [i=1 到 m] φ^(i-1) (y)=0

即(x,y)=0. 所以W_φ⊥U,即U=W_φ^⊥.

任取 α ∈ V, 使 α = β + γ, 而 β ∈ W_φ, γ ∈ W_φ^⊥, 依次用 φ, φ^2, ..., φ^{m-1} 作用于分解式并相加, 得

β = (1/m) ∑_{i=1}^m φ^{i-1}(α)，证毕.

他将写满推导过程的稿纸推到林溪面前，笔尖在最后的“证毕”二字上轻轻一点，动作潇洒得像一位刚刚签下巨额合同的CEO。

教室里很安静，只有老师讲课的催眠声和笔尖的沙沙声。但在此刻的四小角落里，空气仿佛凝固了。

林溪的目光，死死地钉在那张稿纸上。

刘利伟的证明过程，严谨、优雅，甚至带着一种力的美感。他没有用任何花哨的技巧，而是直击问题的核心，用最经典的代数理论，将盘根错节的逻辑链条一一解开，最后完美地缝合在一起。

思路清晰得令发指。

一种混杂着震惊、挫败和……一丝难以言喻的欣赏的绪，在林溪心中猛然炸开。

这个平时看起来大大咧咧，满脑子除了物理公式就是游戏作的家伙……在抽象数学领域，竟然有如此恐怖的直觉和构造能力？

她呆住了，一句话也说不出来。

刘利伟看着她那副罕见的呆萌表，心中的得意简直要溢出来。他强忍着放声大笑的冲动，清了清嗓子，用一种故作沉的语气说道：“怎么样？逻辑闭环，无懈可击。对于我们林大学霸来说，理解起来应该不难吧？”