Current fluctuations for TASEP: A proof of the Pr\