week-9 kummer's, second Gauss and Baily's theorem