Тут не объясняют, а перечисляют свойства. Их еще доказать надо.