b进制下的(10004) = b⁴+4，可以因式分解成(b²-2b+2)(b²+2b+2)，当b≥5时b²+2b+2＞b²-2b+2≥17，所以肯定是合数
这个因式分解可以推广成热尔曼恒等式 a⁴+4b⁴=(a²-2ab+2b²)(a²+2ab+2b²)