Based on BONGs theory, we prove the norm principle for integral and relative
integral spinor norms of quadratic forms over general dyadic local fields,
respectively. By virtue of these results, we further establish the arithmetic
version of Springer's theorem for indefinite quadratic forms. Moreover, we
solve the lifting problems on n-universality over arbitrary local fields