当且仅当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} }
