`B = 2 + 2^3 + 2^5 + 2^7 + ... + 2^31`.
`<=> (2 + 8) + 2^4(2 + 8) + 2^8(2 + 8) + ... + 2^28(2 + 8)`.
`<=> (1 + 2^4 + 2^8 + ... + 2^28)(2+8)`
`<=> 10 . (1 + 2^4 + 2^8 + ... + 2^28)`.
Vì `(1 + 2^4 + ... + 2^28) in ZZ`.
`=> 10 . (1+2^4 + ... + 2^28) vdots 10`.