Основы функционального программирования/Трансформация программ: различия между версиями

 

Строго говоря, эти три утверждения являются [[w:Теорема|теоремами]], которые, однако, вполне легко [[w:Математическое доказательство|доказываются]] при помощи определений, данных выше.