Demonstratio proportionum