Dependent elim beta for pushouts