Dodal lemo o izomorfnosti modulov eR, e idempotent. Manjka še dokaz.