Kato theorem (source code)

= Kato theorem
{wiki=Kato_theorem}