On the application of Tychonoff's theorem in mathematical proofs