Theorems in ring theory