Quod Est Demonstratum.