Proving AGT relations in the large-c limit