Dodal izrek: vsak glavni kolobar je osnovni kolobar z deljenjem.