# Why do we use subbasic open sets in the proof of Tychonoff's Product Theorem?

Recall Tychonoff's Product Theorem:

Given a family of topological spaces $(X_{\alpha}, \mathcal{T}_{\alpha})_{\alpha \in \Lambda}$, $(\prod_{\alpha}X_{\alpha}, \mathcal{T}_{\text{prod}})$ (where $\mathcal{T}_{\text{prod}}$ is the Product topology) is compact if and only if each topological space $(X_{\alpha}, \mathcal{T}_{\alpha})_{\alpha \in \Lambda}$ is compact.

The proof of this theorem relies on Alexander's Theorem, which states that's a topological space on $X$ is compact if and only if every covering of $X$ by subbasic elements of $\mathcal{T}$ has a finite subcovering.

I was wondering what is the advantage to appealing only to subbasic sets in the proof of Tychonoff's Product Theorem? Does there also exist a proof that relies on the more traditional approach of every open covering implying a finite subcovering?

Thank you for indulging my curiosity!