Until 3.4
A much simpler proof for 3.1
Gave a trivial answer for 2.7
Until 3.6
Remove \mathbf