Take the extension from part (a), and choose . The positive function
belongs to . Positivity extends from nonnegative Schwartz functions to nonnegative elements obtained as limits. Since
positivity gives
Taking proves that every positive distribution has order zero.