n-body correlation of Tonks–Girardeau gas