Pomeranchuk's theorem (source code)

= Pomeranchuk's theorem
{wiki=Pomeranchuk's_theorem}