Do 'Brexit dividend' numbers add up?

Theresa May has promised a £20 billion a year increase in NHS funding. But how do the numbers add up?