The argument for this is that to understand what is demonstrable is to have a demonstration; so that since there is demonstration of such things, clearly there will not also be definition of them for someone might understand them in virtue of the definition without having the demonstration; for nothing prevents him from not having them together.