Favard theorem