K 2.10
Punktis 4.8 näeme, et see kehtib kadudeta keskkonnas.