The value distribution of f"f'

Hayman's conjecture has been completely proved: if f(z) is a transcendental meromorphic function in the plane, then ff' assumes every finite non-zero complex value infinitely often. Furthermore, some related criteria have been deduced for normality of a family of meromorphic functions and results on the angular distribution have been given.