D - with the quibble that most formulas I see use TAS^2 instead of Mach number per se, to calculate the correction, which is called "ram rise" and is indeed subtracted from total (static) air temp to get true or ambient temp.
TAT = SAT - RR
Below Mach 0.2, the difference between TAT and SAT is negligible.