R^4が存在しないとかどこで数学習ったんだよ