[math-fun] Question related to p-adics