Transferring independence results from ZFA to ZF requires the additional Jech-Sochor embedding theor...