The fact is that he did not discover it.

• 事实是他没有发现它。