theorem Th5: :: RINGDER1:5

for R being non degenerated comRing
for D being Derivation of R holds
( D . (1. R) = 0. R & D . (0. R) = 0. R )