A Proof of Halpern–Läuchli Partition Theorem

A proof of the Halpern–Läuchli partition theorem and its version for strong subtrees is given. We prove a general statement which has, as an immediate consequence, the above-mentioned results. The proof of this is direct and avoids metamathematical arguments. Some consequences for partitions of finite products of metric spaces are also presented.