probatum est: It is proved.

---