Mazur&RubinのKolyvagin systemを春からやることになったが、Galois cohomologyやspectral sequence扱えないしp-adic representationやEuler systemなどの例も知らないから絶対に理解できない気がする