This, in turn, should also be proved, or -- and that must take place at some time anyway -- we stipulate the proposition as being true, but unproved : as such it then is an axiom.
So the following things are needed for the demonstration of a given proprium as belonging to a given subject :