Baik-Deift-Johansson theorem