當且僅當p爲素數時(滿足李煌條件)： 4 p ≠ a 2 − b 2 {\displaystyle 4p\neq a^{2}-b^{2}} 其中 p , a , b ∈ Z {\displaystyle p,a,b\in \mathbb {Z} }
其中
