I guess that the proof from Munkres' book is essentially the same as this one due to Loomis.

For those who prefer the ultrafilter proof, well, indeed this is the very same proof, because "maximal families which satisfy the p.i.f." are ultrafilters, and the argument essentially proves that every ultrafilter on the product has a cluster point, and thus converges.