reflections in four dimensions regular polytopes