亏格定理

The 丢番图方程

对于 ，素数 的 充要条件 是 或 时，丢番图方程 可以被解。表示是唯一的，除非改变符号或重新排列 和 。这个定理与二次互反定理密切相关，并推广到双二次互反定理。