`#laviken#`
`a)`
`(2k-1)^2-9`
`=4k^2-4k+-9`
`=4k^2-4k-8`
`=4(k^2-k-2)` chia hết `4`
`=>(2k-1)^2-9` chia hết cho `4`, với mọi `k`
`b)`
`4-(1+3k)^2`
`=4-(1+6k+9k^2)`
`=4-1-6k-9k^2`
`=3-6k-9k^2`
`=3(1-2k-3k^2)` chia hết cho `3`
`=>4-(1+3k)^2` chia hết cho `3`, với mọi `k`