Dodal definicijo SBI-ring in prvo lemo na to temo.