Aristotle's completeness proof