On Tychonoff's type theorem via grills

‎Let $\{X_{\alpha}:\alpha\in\Lambda\}$ be a collection of topological spaces‎, ‎and $\mathcal {G}_{\alpha}$ be a grill on $X_{\alpha}$ for each $\alpha\in\Lambda$‎. ‎We consider Tychonoff\rq{}s type Theorem for $X=\prod_{\alpha\in\Lambda}X_{\alpha}$ via the above grills and a natural grill on $X$ ‎related to these grills, and present a simple proof to this theorem‎. ‎This immediately yields the classical theorem of Tychonoff. We shall also observe> that the above result is also equivalent to the Axiom of Choice‎.‎