Let Q be a positive definite quadratic form on Rn. The function defined by φ(x)= exp(−πQ(x)) belong to S(Rn). There exists σ∈ GL(n,R) such that Q(x)=∥σ(x)∥2 for every x∈Rn. The Fourier transform of φ is given for every y∈Rn by
φ(y)=∣det(1σ )∣ exp(−πQ∗(y))
where Q∗(y)=∥tσ−1(y)∥2(cf. INT, IX, §6, no 4–5 and exercise 1, c) of II, p. 262).
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.