このアイデアはformula_11にも適用される、ただしq"p" は"p"-進数体である。