Source: https://www2.math.ethz.ch/education/bachelor/seminars/hs2011/p-adic/report6.pdf