LAERTIUS, Diogenes