正の整数に対し \begin{equation} a = 3^b \, c \quad (b, c\mbox{は整数で、$c$は3で割り切れない}) \end{equation}の形に書いたとき、と定める。例えばである。 は整数で、次の条件を満たすとする。