Episode I

Alice és Bob

. rész: Euklidészi gyűrű főideálgyűrű

Minden euklidészi gyűrű – és így a 17.19. Tétel miatt az egész számok \Z gyűrűje is – főideálgyűrű.