  In this paper, we prove a version of the arithmetic Bertini theorem asserting
that there exists a strictly small and generically smooth section of a given
arithmetically free graded arithmetic linear series.
