Standard space/K^n/Dimension n/Fact/Proof