But it turns out that even in these we use for the demonstration the very thing that is being proved; for is proved of, and of, by assuming that is said of, and is proved of A through these propositions, so that we use the conclusion for the demonstration.