Feldman–Hájek theorem (source code)

= Feldman–Hájek theorem
{wiki=Feldman–Hájek_theorem}