So it remains to check the case R = 0.
ゆえに残りの R = 0 の場合に関して確かめよう。