คาดไม่ถึงจริงๆครับว่าจะใช้ quadratic rest แก้ข้อนี้ได้
แต่ตรงสูตรที่ยกมามี n โผล่มาได้ไงเอ่ย และก็จาก $(b^2+2)(b^2+1) \equiv 2(\bmod 4)$ สามารถสรุปได้ว่า $(b^2+2)(b^2+1)-1 \equiv 5(\bmod 8)$ (กรณีที่ทางซ้ายเท่ากับ 1 (mod8) จะได้ $8|b^4+3b^2+1$ เกิดข้อขัดแย้ง) ซึ่งพอแทนในสูตรที่ยกมาจะได้ผลลัพธ์เหมือนกันครับ(สงสัยตอนทดก่อนพิมพ์เบลอจัด)
ที่เหลือก็ไม่น่ามีอะไรแล้วครับ