The testimony of Aristotle proves that Socrates actually existed