% teach:
% gap: 知道要除 $\sqrt{d_k}$，但看不见方差是从哪一步冒出来的
% takeaway: 缩放来自点积方差随 $d_k$ 增长，是改写不是新算子
% jump: fixture 直接给出结论，没展开方差那一步
% omit: 其他归一化方案的对比
\section{主张与贡献}
\splabel{C1}
点积方差随 $d_k$ 涨。除掉 $\sqrt{d_k}$ 是改写，不是新算子。

\spfig{F3}{缩放来自方差。}{fixture；toolkit: \texttt{superderive}；ledger id: F3。}

\subsection{本章小结}
这一步必须被看见，所以走 superderive，而不是笔记里的 \texttt{align}。