Prove that if is a division ring, then is a division ring for all .
We saw in the previous exercise that is a subring which contains 1. It remains to be shown that every nonzero element of has an inverse in . To that end, let be nonzero. Then . Now exists in , and we have , so that . Similarly, right multiplying by yields . Thus . Thus is a division ring.