代數連續平方數底空間的正典化

定義 T_sq = {(n, k) : 1 ≤ k ≤ 2n} 與 E(n, k) = n² + k，證明 E 是到大於 1 的非平方整數的雙射；勒讓德 ⇔ 質數拉回投影到每個 n ⇔ 存在取質數值的截面；一個「擬合圖」若落在 P_sq 內就會給出勒讓德（條件式）。