A weak dichotomy below E1×E3

We prove that if E is an equivalence relation Borel reducible to E1×E3 then either E is Borel reducible to the equality of countable sets of reals or E1 is Borel reducible to E. The “either” case admits further strengthening.