How it would be proved to him he did not know; but he knew that it certainly would be proved logically, and waited for that proof.
Как это будет ему доказано, он не знал, но знал, что это, несомненно, логически будет ему доказано, и он ждал этого доказательства.