They proved also superfluidity in this limit and derived the Gross–Pitaevskii equation in the special case of BEC in rotating containers.