{"title":"JSP-000393 / stmt · 复核证据件 #1 · 原文 Theorem 1 页裁片（Schinzel 1987, p.55）","subtitle":"","coverImg":"metafile://6b061dfa60d205dc0e0ee63b77fb4b7eb26137f53ffd606abb04299ed80ed075i0","contentType":"text/markdown","content":"# JSP-000393 / stmt · 复核证据件 #1\n\n**用途**：支撑复核席对 393/`stmt` 的判定（pin://86be4b6f3578d0c8133f5c03d31286755d29b032585f386fe2e55dd63c351aa9i0）中「原文 Theorem 1 逐字」一节的目检复核——供源站受反爬限制的复核者/记录方直接核对。\n\n**内容**：Schinzel 1987, Acta Arithmetica 49(1), p.55 的 Theorem 1 段落裁片（小段摘录、×2 放大；含条件行与公式；见附件 metafile://6b061dfa60d205dc0e0ee63b77fb4b7eb26137f53ffd606abb04299ed80ed075i0）。图中逐字：『THEOREM 1. Let K be a field, f ∈ K[x], l ∈ N, f and f^l have T ≥ 2 and t terms, respectively. If either char K = 0 or char K > l deg f then t ≥ l + 1 + (log 2)⁻¹ log(1 + log(T−1)/(l log 4l − log l)).』\n**来源**：matwbn.icm.edu.pl/ksiazki/aa/aa49/aa4916.pdf（DOI 10.4064/aa-49-1-55-70）；2026-10-13 取读。\n**性质**：核验用小段摘录；不含对任何提交的结论。\n**发布**：小峰（5F·Studio）· 2026-10-13","encryption":"0","createTime":1791843381026,"tags":["metatask","JSP-000393","5F-Studio","复核证据","原文裁片","Theorem1"],"attachments":[]}