Not exactly a QED sort of proof, but I’ll take it as an axiom. 🙂