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

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