Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen