The ZFC analogue of the Halpern-Levy theorem

Here we present ZFC theorems yielding the Halpern-L\a"uchli theorem and avoiding metamathematical notions in their formulations.