why should you move to 4d regular polytopes explain