What's the difference in the usage of ipse dixit and quod erat demonstratum?