We provide a direct and elementary proof that the formula obtained in (Matetski, Quastel and Remenik (2016)) for the TASEP transition probabilities for general (one-sided) initial data solves the Kolmogorov backward equation. ...