<div class="dem"> On a  \(8 - y^3 = (2 - y)(4 + 2y + y^2)), 
donc  \(B = 4 + 2y + y^2). Comme  \(y) est impair, <center> 
\(y^2) \equiv 1 mod 8,  \(2y) \equiv 2 mod  4, </center> 
donc  \(B) est congru   3 mod  4. D'aprs la question prcdente, 
il existe  un nombre premier  \(p) divisant
 \(B) et congru   \(3) mod  4. Comme il divise \(B), il divise aussi 
 \((2 - y)*B = 8 - y^3 = x^2 + 1).
</div>