He had proof, at least, that they existed somewhere in his Library.

• 但至少他有证据表明，它们存在于他库中的某个地方。