>任意のnについてR^nが環だ、とおっしゃる、そこのあなた
どこの誰?