Свойство, доказывающее с несколькими свойствами

Этот пример показывает, как выполнить анализ доказательства свойства с несколькими свойствами.