[4ad]

You're right, it's not obviously true. In fact it's quite complicated. But you can prove it mathematically.