Not only can we prove it, we can explain why