It is known that division by some constant m is provably total in the theory S20, if and only if the constant m is of the form 2n for some n. In this paper, we prove that also in the theory S2+0 which is a little stronger than S20, the same statement holds by using the Johannsen’s method on the division in S2+0.
