dodal še eno posledico o J(R) in njen dokaz.