1 是 Legendre's_constant
參考: http://en.wikipedia.org/wiki/Legendre's_constant

4 是同餘運算

1/2 ≡ x (mod 7)

1 ≡ 2x (mod 7)

x 在 1 ~ 12 範圍內符合的整數，只有 4