Category:Coherent Sequence is Partial Sum of P-adic Expansion