他证明了四维空间的存在