新谷の単数定理