Подпараграф III.5.1.3

Существование примитивного элемента