Multiplying two p-adic numbers