Відповідність Каррі і Говарда змінюється інакше, як тільки ви фактично застосували існуючу імплікацію, щоб довести проп як функцію