sentences:  1) Tychonoff's 1930 proof used the concept of a complete accumulation point.2) The theorem is a quick corollary of the Alexander subbase theorem.More modern proofs have been motivated by the following considerations