海涅定理是数论中的一个重要定理，它描述了模意义下的平方剩余和二次非剩余的性质。具体地，对于一个奇素数p和任意一个整数a，我们有：
1、如果a是p的二次剩余，那么a的模p平方根的数量等于p的一半；
2、如果a是p的二次非剩余，那么a的模p平方根不存在。
换句话说，如果a是p的二次剩余，那么a在模p意义下有平方根，而且这些平方根的数量恰好是p的一半。反之，如果a是p的二次非剩余，那么a在模p意义下没有平方根。
这个定理被广泛应用于密码学中的RSA算法等领域，具有重要的理论和实际意义。