A weak dichotomy below

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