из Митчелла, про Y-комбинатор

Отличное упражнение на свойства комбинатора неподвижной точки fix.

Докажите равенство

fix (f . g) = f (fix (g . f))