Move existential uniqueness theorems before ax-3
Move existential uniqueness theorems before ax-3

These are some theorems which do not depend on ax-3: hbeu, hbeud,
sb8euh, cbveu, eu1, euex, eumo0 .

metamath/set.mm,metamath/set.mm,metamath/set.mm