Categoricity and solvability of A.E.C., quite highly - Saharon Shelah (2008)