Elliptic curve basics + p-adics