解析学を展開するためにはC^nで十分
幾何学を展開するためにはP^nでも足りない