Source: https://math.mit.edu/classes/18.095/2015IAP/lecture1/padic.pdf