Post's inversion formula